-
34Translation of hypersequents into display sequentsLogic Journal of the IGPL 6 (5): 719-734. 1998.
-
82Completeness and cut-elimination theorems for trilattice logicsAnnals of Pure and Applied Logic 162 (10): 816-835. 2011.A sequent calculus for Odintsov’s Hilbert-style axiomatization of a logic related to the trilattice SIXTEEN3 of generalized truth values is introduced. The completeness theorem w.r.t. a simple semantics for is proved using Maehara’s decomposition method that simultaneously derives the cut-elimination theorem for . A first-order extension of and its semantics are also introduced. The completeness and cut-elimination theorems for are proved using Schütte’s method.
-
84A rule-extension of the non-associative Lambek calculusStudia Logica 71 (3): 443-451. 2002.An extension L + of the non-associative Lambek calculus Lis defined. In L + the restriction to formula-conclusion sequents is given up, and additional left introduction rules for the directional implications are introduced. The system L + is sound and complete with respect to a modification of the ternary frame semantics for L.
-
56Strong Cut-Elimination for Constant Domain First-Order S5Logic Journal of the IGPL 3 (5): 797-810. 1995.We consider a labelled tableau presentation of constant domain first-order S5 and prove a strong cut-elimination theorem.
-
134Nested deontic modalities: Another view of parking on highways (review)Erkenntnis 49 (2): 185-199. 1998.A suggestion is made for representing iterated deontic modalities in stit theory, the “seeing-to-it-that” theory of agency. The formalization is such that normative sentences are represented as agentive sentences and therefore have history dependent truth conditions. In contrast to investigations in alethic modal logic, in the construction of systems of deontic logic little attention has been paid to the iteration... of the deontic modalities.
-
86An Axiomatic System and a Tableau Calculus for STIT Imagination LogicJournal of Philosophical Logic 47 (2): 259-279. 2018.We formulate a Hilbert-style axiomatic system and a tableau calculus for the STIT-based logic of imagination recently proposed in Wansing. Completeness of the axiom system is shown by the method of canonical models; completeness of the tableau system is also shown by using standard methods.
-
38Editorial introduction. Special issue on consequence relations and sequent systemsLogic Journal of the IGPL 6 (3): 377-381. 1998.
-
42Advances in Modal Logic, Volume 2 (edited book)Center for the Study of Language and Inf. 2001.Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical and computational discipline. It is the main source of formal languages aimed at analyzing complex notions such as common knowledge and formal provability. Modal and modal-like languages also provide us with families of restricted description languages for relational and topological structures; they are being used in many disciplines, ranging from artificial intelligence, compu…Read more
-
165Diamonds are a philosopher's best friendsJournal of Philosophical Logic 31 (6): 591-612. 2002.The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of such patterns), in the course of which an occurrence of the possibility operator, the diamond, disappears. In the present paper, it is pointed out how the unwanted disappearance of the diamond may be escaped. The emphasis is not laid on a discussion of the contentious premise of the knowability paradox, namely that all truths are possibly known, but on how from this assumption the conclusion is derived …Read more
-
59
-
57Bemerkungen Zur Semantik Nicht-Normaler Möglicher WeltenZeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6): 551-557. 1989.
Areas of Specialization
| Epistemology |
| Logic and Philosophy of Logic |
Areas of Interest
| Philosophy of Language |