Found 18 Documents (Results 1–18)
Empiricism, probability, and knowledge of arithmetic: a preliminary defense. (English) Zbl 1352.03011
A propositional linear time logic with time flow isomorphic to \(\omega^2\). (English) Zbl 1328.03017
Modal definability of first-order formulas with free variables and query answering. (English) Zbl 1284.03152
Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (English) Zbl 1215.03038
MSC:
03B45
Can logic be combined with probability? Probably. (English) Zbl 1171.03315
MSC:
03B48
Axiomatizing geometric constructions. (English) Zbl 1143.03007
Reviewer: T. Thrivikraman (Nileshwar)
Preferential theory revision. (English) Zbl 1133.68074
Mathematical modal logic: A view of its evolution. (English) Zbl 1041.03015
Reviewer: Valentin F. Goranko (Johannesburg)
Filter Results by …
all
top 5
Author
- Balbiani, Philippe (2)
- Adi, Kamel (1)
- Budán, Maximiliano C. D. (1)
- Dell’Acqua, Pierangelo (1)
- Doder, Dragan (1)
- Goldblatt, Robert Ian (1)
- Holm, Ruurik (1)
- Howson, Colin (1)
- Kikot, Stanislav (1)
- Kließ, Malte S. (1)
- Lakemeyer, Gerhard (1)
- Lucero, Mauro Gómez (1)
- Ma, Ji (1)
- Marinković, Bojan (1)
- Meyer, Thomas Andreas (1)
- Moniz Pereira, Luís (1)
- Ognjanović, Zoran (1)
- Orgun, Mehmet Ali (1)
- Pambuccian, Victor V. (1)
- Paris, Jeffrey Bruce (1)
- Perović, Aleksandar (1)
- Rasga, João (1)
- Rens, Gavin (1)
- Sano, Katsuhiko (1)
- Seldin, Jonathan P. (1)
- Sernadas, Amilcar C. (1)
- Sernadas, Cristina S. (1)
- Simari, Guillermo Ricardo (1)
- Tinchev, Tinko (1)
- Vickers, Steven (1)
- Viglizzo, Ignacio Darío (1)
- Walsh, Sean (1)
- Zolin, Evgeniĭ Evgen’evich (1)
all
top 5
Volume
- 16 (2016) (1)
- 13, No. 4, Part 1 (2015) (1)
- 12, No. 4 (2014) (1)
- 12, No. 3 (2014) (1)
- 12, No. 2 (2014) (2)
- 12, No. 1 (2014) (1)
- 11, No. 3 (2013) (1)
- 11, No. 2 (2013) (1)
- 9, No. 4 (2011) (1)
- 8, No. 4 (2010) (1)
- 7, No. 2 (2009) (1)
- 6, No. 1 (2008) (1)
- 5, No. 4 (2007) (1)
- 5, No. 3 (2007) (1)
- 2, No. 2 (2004) (1)
- 1, No. 5-6 (2003) (1)
- 1, No. 1-2 (2003) (1)