-
43Maximal Kripke-type semantics for modal and superintuitionistic predicate logicsAnnals of Pure and Applied Logic 63 (1): 69-101. 1993.Recent studies in semantics of modal and superintuitionistic predicate logics provided many examples of incompleteness, especially for Kripke semantics. So there is a problem: to find an appropriate possible- world semantics which is equivalent to Kripke semantics at the propositional level and which is strong enough to prove general completeness results. The present paper introduces a new semantics of Kripke metaframes' generalizing some earlier notions. The main innovation is in considering "n…Read more
-
12Chronological Future Modality in Minkowski SpacetimeIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 437-459. 1998.
-
15Completeness and incompleteness in first-order modal logic: an overviewIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 27-30. 1998.
-
16On Modal Logics of Hamming SpacesIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 395-410. 1998.
-
11Filtration via BisimulationIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 289-308. 1998.
-
Problems in Set Theory, Mathematical Logic and the Theory of AlgorithmsStudia Logica 81 (2): 283-285. 2005.
-
On Strong Neighbourhood Completeness of Modal and Intermediate Propositional LogicsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 209-222. 1998.
-
11Local tabularity without transitivityIn Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11, Csli Publications. pp. 520-534. 2016.
-
6Canonical Filtrations and Local TabularityIn Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014, Csli Publications. pp. 498-512. 2014.
-
60Modal logics of domains on the real planeStudia Logica 42 (1): 63-80. 1983.This paper concerns modal logics appearing from the temporal ordering of domains in two-dimensional Minkowski spacetime. As R. Goldblatt has proved recently, the logic of the whole plane isS4.2. We consider closed or open convex polygons and closed or open domains bounded by simple differentiable curves; this leads to the logics:S4,S4.1,S4.2 orS4.1.2
-
61Undecidability of modal and intermediate first-order logics with two individual variablesJournal of Symbolic Logic 58 (3): 800-823. 1993.
-
19Advances in Modal Logic 8 (edited book)College Publications. 2010.Proc. of the 8th International Conference on Advances in Modal Logic, (AiML'2010).
-
59First-order modal logic, M. fitting and R.l. MendelsohnJournal of Logic, Language and Information 10 (3): 403-405. 2001.
-
29Products of modal logics and tensor products of modal algebrasJournal of Applied Logic 12 (4): 570-583. 2014.
-
62Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizableStudia Logica 49 (3). 1990.We consider modal logics whose intermediate fragments lie between the logic of infinite problems [20] and the Medvedev logic of finite problems [15]. There is continuum of such logics [19]. We prove that none of them is finitely axiomatizable. The proof is based on methods from [12] and makes use of some graph-theoretic constructions (operations on coverings, and colourings).
-
49Products of modal logics. Part 3: Products of modal and temporal logicsStudia Logica 72 (2): 157-183. 2002.In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.
-
40« Everywhere » and « here »Journal of Applied Non-Classical Logics 9 (2-3): 369-379. 1999.ABSTRACT The paper studies propositional logics in a bimodal language, in which the first modality is interpreted as the local truth, and the second as the universal truth. The logic S4UC is introduced, which is finitely axiomatizable, has the f.m.p. and is determined by every connected separable metric space
-
M. Fitting and RL Mendelsohn, First-Order Modal LogicJournal of Logic Language and Information 10 (3): 403-405. 2001.
-
20Products of modal logics. Part 2: relativised quantifiers in classical logicLogic Journal of the IGPL 8 (2): 165-210. 2000.In the first part of this paper we introduced products of modal logics and proved basic results on their axiomatisability and the f.m.p. In this continuation paper we prove a stronger result - the product f.m.p. holds for products of modal logics in which some of the modalities are reflexive or serial. This theorem is applied in classical first-order logic, we identify a new Square Fragment of the classical logic, where the basic predicates are binary and all quantifiers are relativised, and for…Read more
-
51Products of modal logics, part 1Logic Journal of the IGPL 6 (1): 73-146. 1998.The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It proves results on axiomatisability, the finite model property and decidability for product logics, by applying a rather elaborated modal logic technique: p-morphisms, the finite depth method, normal forms, filtrations. Applications to first order predicate logics are considered too. The introduction and the conclusion contain a discussion of many related results and open problems in the area
