-
1Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological DualityIn Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, Springer Verlag. pp. 411-475. 2021.The paper is in the field of region-based theory of space and time. This is an extension of the region-based theory of space with time. Its origin goes back to some ideas of Whitehead, De Laguna, and Tarski and is related to the problem of how to build the theory of space without the use of the notion of point. The notion of contact algebra presents an algebraic formulation of RBTS. CA is an extension of Boolean algebra, considered as an algebra of spatial regions with an additional relation of …Read more
-
171Modal Logic and Universal Algebra I: Modal Axiomatizations of StructuresIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 265-292. 1998.We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
-
Dynamic Mereotopology II: Axiomatixing some Whiteheadean Type Space-time LogicsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 538-558. 1998.
-
Logics of Space with Connectedness Predicates: Complete AxiomatizationsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 434-453. 1998.
-
9Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic AspectsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 17-51. 1998.In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called \emph{elementary}. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called \emph{canonical}. This is a survey of a recent and ongoing study of the class of elementary …Read more
-
Hyper Arrow Structures. Arrow Logics IIIIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 269-290. 1998.
-
Modal logics for mereotopological relationsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 249-272. 1998.
-
3Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's ClassIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 499-518. 1998.
-
312Sahlqvist Formulas Unleashed in Polyadic Modal LanguagesIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 221-240. 1998.We propose a generalization of Sahlqvist formulas to polyadic modal languages by representing such languages in a combinatorial PDL style and thus, in particular, developing what we believe to be the right syntactic approach to Sahlqvist formulas at all. The class of polyadic Sahlqvist formulas PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
-
26Maarten Marx and Yde Venema. Multi-dimensional modal logic. Applied logic series, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 239 pp (review)Bulletin of Symbolic Logic 6 (4): 490-495. 2000.
-
2Modal SyllogisticIn Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science, Springer Verlag. 2018.A modal extension of classical syllogistic is given interpreted by the standard relational Kripke semantics. Completeness theorems and decidability for the minimal system and some of its extensions are proven. Completeness with respect to extensions with arbitrary Sahlqvist formulas is also considered.
-
6Dynamic Mereotopology II: Axiomatixing some Whiteheadean Type Space-time LogicsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 538-558. 1998.
-
6Modal logics for mereotopological relationsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 249-272. 1998.
-
7Logics of Space with Connectedness Predicates: Complete AxiomatizationsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 434-453. 1998.
-
195Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic AspectsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 17-51. 1998.In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal f…Read more
-
7Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's ClassIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 499-518. 1998.
-
Hyper Arrow Structures. Arrow Logics IIIIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 269-290. 1998.
-
188Modal Logic and Universal Algebra I: Modal Axiomatizations of StructuresIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 265-292. 1998.We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
-
323Sahlqvist Formulas Unleashed in Polyadic Modal LanguagesIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 221-240. 1998.We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
-
32A mereotopology based on sequent algebrasJournal of Applied Non-Classical Logics 27 (3-4): 342-364. 2017.Mereotopology is an extension of mereology with some relations of topological nature like contact. An algebraic counterpart of mereotopology is the notion of contact algebra which is a Boolean algebra whose elements are considered to denote spatial regions, extended with a binary relation of contact between regions. Although the language of contact algebra is quite expressive to define many useful mereological relations and mereotopological relations, there are, however, some interesting mereoto…Read more
-
25Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrarietyStudia Logica 48 (4). 1989.Four known three-valued logics are formulated axiomatically and several completeness theorems with respect to nonstandard intuitive semantics, connected with the notions of information, contrariety and subcontrariety is given.
-
33An application of Rieger-Nishimura formulas to the intuitionistic modal logicsStudia Logica 44 (1). 1985.The main results of the paper are the following: For each monadic prepositional formula which is classically true but not intuitionistically so, there is a continuum of intuitionistic monotone modal logics L such that L+ is inconsistent.There exists a consistent intuitionistic monotone modal logic L such that for any formula of the kind mentioned above the logic L+ is inconsistent.
-
61Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of NegationStudia Logica 84 (1): 105-127. 2006.The paper is devoted to the contributions of Helena Rasiowa to the theory of non-classical negation. The main results of Rasiowa in this area concerns–constructive logic with strong (Nelson) negation.
-
32A Proximity Approach to Some Region-Based Theories of SpaceJournal of Applied Non-Classical Logics 12 (3-4): 527-559. 2002.This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roeper's notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local…Read more
-
392Elementary canonical formulae: extending Sahlqvist’s theoremAnnals of Pure and Applied Logic 141 (1): 180-217. 2006.We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove…Read more
-
16Rough polyadic modal logicsJournal of Applied Non-Classical Logics 1 (1): 9-35. 1991.Rough polyadic modal logics, introduced in the paper, contain modal operators of many arguments with a relational semantics, based on the Pawlak's rough set theory. Rough set approach is developed as an alternative to the fuzzy set philosophy, and has many applications in different branches in Artificial Intelligence and theoretical computer science.
-
36Lattices related to Post algebras and their applications to some logical systemsStudia Logica 36 (1-2): 89-107. 1977.
-
8An application of the Rieger-Nishimura formulas to the intuitionistic modal logicsBulletin of the Section of Logic 13 (3): 120-122. 1984.We proved in [1] that there exist a continuum consistent monotone intuitionistic modal logics which do not admit the law of the excluded middle p ∨ ¬p. Rieger [2] and Nishimura [3] introduced a sequence of formulas ϕ0, ϕ1, . . . , ϕω of one variable p such that for any intuitionistic formula ϕi containing only the variable p there exists a formula ϕi from this sequence equivalent to ϕ in the intuitionistic propositional logic . In [5] V. Tselkov has proved that for each i ≥ 4 there exist at leas…Read more
-
17Dynamic extensions of arrow logicAnnals of Pure and Applied Logic 127 (1-3): 1-15. 2004.This paper is devoted to the complete axiomatization of dynamic extensions of arrow logic based on a restriction of propositional dynamic logic with intersection. Our deductive systems contain an unorthodox inference rule: the inference rule of intersection. The proof of the completeness of our deductive systems uses the technique of the canonical model