-
121PDL with intersection of programs: a complete axiomatizationJournal of Applied Non-Classical Logics 13 (3): 231-276. 2003.One of the important extensions of PDL is PDL with intersection of programs. We devote this paper to its complete axiomatization.
-
55Rough 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.
-
87Intuitive 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.
-
94An 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.