-
6Reasoning About Belief RevisionIn Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science, Springer. pp. 303--328. 2011.
-
5We study a propositional bimodal logic consisting of two S4 modalities £ and [a], together with the interaction axiom scheme a £ϕ → £ aϕ. In the intended semantics, the plain £ is given the McKinsey-Tarski interpretation as the interior operator of a topology, while the labelled [a] is given the standard Kripke semantics using a reflexive and transitive binary relation a. The interaction axiom expresses the property that the Ra relation is lower semi-continuous with respect to the topology. The c…Read more
-
34Synchronized Linear-Time Temporal LogicStudia Logica 99 (1-3): 365-388. 2011.A new combined temporal logic called synchronized linear-time temporal logic (SLTL) is introduced as a Gentzen-type sequent calculus. SLTL can represent the n -Cartesian product of the set of natural numbers. The cut-elimination and completeness theorems for SLTL are proved. Moreover, a display sequent calculus δ SLTL is defined.
-
18Completeness 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.
-
28A 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.
-
29Logical Connectives for Constructive Modal LogicSynthese 150 (3): 459-482. 2006.Model-theoretic proofs of functional completenes along the lines of [McCullough 1971, Journal of Symbolic Logic 36, 15–20] are given for various constructive modal propositional logics with strong negation.
-
49An 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.
-
9Translation of hypersequents into display sequentsLogic Journal of the IGPL 6 (5): 719-734. 1998.
-
88Diamonds 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
-
10Strong 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.
-
13
-
31Bemerkungen Zur Semantik Nicht-Normaler Möglicher WeltenZeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6): 551-557. 1989.
-
13Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI) (edited book)Springer. 2014.This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental ph…Read more
-
50Functional completeness for subsystems of intuitionistic propositional logicJournal of Philosophical Logic 22 (3). 1993.
-
28A fugue on the themes of awareness logic and correspondenceJournal of Applied Non-Classical Logics 6 (2): 127-136. 1996.No abstract
-
11Dag Prawitz on Proofs and Meaning (edited book)Springer. 2015.This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD t…Read more
-
15Advances in Modal Logic, Volume 2: Papers From the Second Aiml Conference, Held at the University of Uppsala, Sweden, October 1998 (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
-
20Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC CJournal of Applied Logic 6 (3): 343-360. 2008.
-
25Combining linear-time temporal logic with constructiveness and paraconsistencyJournal of Applied Logic 8 (1): 33-61. 2010.
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
Areas of Interest
Philosophy of Language |