-
8Displaying Modal LogicSpringer. 1998.The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized …Read more
-
6Reasoning About Belief RevisionIn Erik J. Olson Sebastian Enqvist (ed.), Belief Revision Meets Philosophy of Science, Springer. pp. 303--328. 2011.
-
6Advances in Modal Logic, Volume 5: Papers From the Fifth Aiml Conference, Held in Manchester, 9-11 September 2004 (edited book)King's College Publications. 2005.Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in …Read more
-
6Proofs and Expressiveness in Alethic Modal LogicIn Dale Jacquette (ed.), A Companion to Philosophical Logic, Blackwell. 2006.This chapter contains sections titled: Introduction Model Theory Proof Theory Modal Predicate Logic.
-
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
-
5Action-Theoreticaspects of Theory ChoiceIn S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science, Kluwer Academic Publisher. pp. 419--435. 2004.
-
2"This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly nonclassical logic - and its applications in artificial intelligence. The papers are grouped according to the four major topics that emerged at the meeting: modal systems, logic programming, nonmonotonic …Read more
-
1Displaying 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.
-
Knowability remixedIn Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence, Oxford University Press. 2015.
-
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.
-
On Split Negation, Strong Negation, Information, Falsification, and VerificationIn Katalin Bimbó (ed.), J. Michael Dunn on Information Based Logics, Springer. 2016.
-
Thomas Andreas Meyer, Willem Adrian Labuschagne, and Johannes heidema/refined espistemic entrenchment 237-259Journal of Logic, Language, and Information 9 (2): 139. 1992.
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
Areas of Interest
Philosophy of Language |