-
49Functional completeness for subsystems of intuitionistic propositional logicJournal of Philosophical Logic 22 (3). 1993.
-
24A fugue on the themes of awareness logic and correspondenceJournal of Applied Non-Classical Logics 6 (2): 127-136. 1996.No abstract
-
9Dag 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
-
14Advances 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
-
19Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC CJournal of Applied Logic 6 (3): 343-360. 2008.
-
87Constructive negation, implication, and co-implicationJournal of Applied Non-Classical Logics 18 (2-3): 341-364. 2008.In this paper, a family of paraconsistent propositional logics with constructive negation, constructive implication, and constructive co-implication is introduced. Although some fragments of these logics are known from the literature and although these logics emerge quite naturally, it seems that none of them has been considered so far. A relational possible worlds semantics as well as sound and complete display sequent calculi for the logics under consideration are presented.
-
24Combining linear-time temporal logic with constructiveness and paraconsistencyJournal of Applied Logic 8 (1): 33-61. 2010.
-
32Agency and deontic logic, J.f. HortyJournal of Logic, Language and Information 13 (3): 379-381. 2004.
-
205Normative Verantwortung für Handlungen Anderer. Eine Untersuchung im Rahmen der stit -TheorieFacta Philosophica 7 (2): 167-187. 2005.
-
87Doxastic Decisions, Epistemic Justification, and The Logic of AgencyPhilosophical Studies 128 (1): 201-227. 2006.A prominent issue in mainstream epistemology is the controversy about doxastic obligations and doxastic voluntarism. In the present paper it is argued that this discussion can benefit from forging links with formal epistemology, namely the combined modal logic of belief, agency, and obligation. A stit-theory-based semantics for deontic doxastic logic is suggested, and it is claimed that this is helpful and illuminating in dealing with the mentioned intricate and important problems from mainstrea…Read more
-
52The Power of Belnap: Sequent Systems for SIXTEEN ₃ (review)Journal of Philosophical Logic 39 (4). 2010.The trilattice SIXTEEN₃ is a natural generalization of the wellknown bilattice FOUR₂. Cut-free, sound and complete sequent calculi for truth entailment and falsity entailment in SIXTEEN₃, are presented
-
78Contradiction and contrariety. Priest on negationPoznan Studies in the Philosophy of the Sciences and the Humanities 91 (1): 81-93. 2006.Although it is not younger than other areas of non-classical logic, paraconsistent logic has received full recognition only in recent years, largely due to the work of, among others, Newton da Costa, Graham Priest, Diderik Batens, and Jerzy Perzanowski. A logical system Λ is paraconsistent if there is a set of Λ-formulas Δ ∪ {A} such that in Λ one may derive from Δ both A and its negation, and the deductive closure of Δ with respect to Λ is different from the set of all formulas. If from Δ one m…Read more
-
Strong Cut-elimination In Display LogicReports on Mathematical Logic 117-131. 1995.It is shown that every displayable propositional logic enjoys strong cut-elimination. This result strengthens Belnap's general cut-elimination theorem for Display Logic.
-
22A Note On Negation In Categorial GrammarLogic Journal of the IGPL 15 (3): 271-286. 2007.A version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic
-
41On the methodology of possible worlds semantics. I. Correspondence theoryNotre Dame Journal of Formal Logic 29 (4): 482-496. 1988.
-
48Displaying the modal logic of consistencyJournal of Symbolic Logic 64 (4): 1573-1590. 1999.It is shown that the constructive four-valued logic N4 can be faithfully embedded into the modal logic S4. This embedding is used to obtain complete, cut-free display sequent calculi for N4 and C4, the modal logic of consistency over N4. C4 is a natural monotonic base system for semantics-based non-monotonic reasoning.
-
50Modal logics with Belnapian truth valuesJournal of Applied Non-Classical Logics 20 (3): 279-304. 2010.Various four- and three-valued modal propositional logics are studied. The basic systems are modal extensions BK and BS4 of Belnap and Dunn's four-valued logic of firstdegree entailment. Three-valued extensions of BK and BS4 are considered as well. These logics are introduced semantically by means of relational models with two distinct evaluation relations, one for verification and the other for falsification. Axiom systems are defined and shown to be sound and complete with respect to the relat…Read more
-
66Connectives stranger than tonkJournal of Philosophical Logic 35 (6). 2006.Many logical systems are such that the addition of Prior's binary connective tonk to them leads to triviality, see [1, 8]. Since tonk is given by some introduction and elimination rules in natural deduction or sequent rules in Gentzen's sequent calculus, the unwanted effects of adding tonk show that some kind of restriction has to be imposed on the acceptable operational inferences rules, in particular if these rules are regarded as definitions of the operations concerned. In this paper, a numbe…Read more
-
88The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical OperationsStudia Logica 64 (1): 3-20. 2000.This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
Areas of Interest
Philosophy of Language |