-
8Modal Logics of ArrowsIn M. de Rijke (ed.), Advances in Intensional Logic, Kluwer Academic Publishers. pp. 137--171. 1997.
-
314A modal approach to dynamic ontology: modal mereotopologyLogic and Logical Philosophy 17 (1-2): 163-183. 2008.In this paper we show how modal logic can be applied in the axiomatizations of some dynamic ontologies. As an example we consider the case of mereotopology, which is an extension of mereology with some relations of topological nature like contact relation. We show that in the modal extension of mereotopology we may define some new mereological and mereotopological relations with dynamic nature like stable part-of and stable contact. In some sense such “stable” relations can be considered as appr…Read more
-
30PDL with intersection of programs: a complete axiomatizationJournal of Applied Non-Classical Logics 13 (3-4): 231-276. 2003.One of the important extensions of PDL is PDL with intersection of programs. We devote this paper to its complete axiomatization.
-
37Review: Maarten Marx, Yde Venema, Multi-Dimensional Modal Logic (review)Bulletin of Symbolic Logic 6 (4): 490-495. 2000.
-
26Intuitive 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.
-
68Non-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
-
415Elementary 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.
-
9An 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
-
21Dynamic 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
-
58Nelson's Negation on the Base of Weaker Versions of Intuitionistic NegationStudia Logica 80 (2): 393-430. 2005.Constructive logic with Nelson negation is an extension of the intuitionistic logic with a special type of negation expressing some features of constructive falsity and refutation by counterexample. In this paper we generalize this logic weakening maximally the underlying intuitionistic negation. The resulting system, called subminimal logic with Nelson negation, is studied by means of a kind of algebras called generalized N-lattices. We show that generalized N-lattices admit representation form…Read more