Research Papers & Contributions to encyclopaedias etc.


  • On definability of connectives and modal logics over FDE, submitted, Logic and Logical Philosophy, published online April 2019,  S.P. Odintsov and D. Skurt. pdf
  • Simplified tableaux for STIT imagination logic, Journal of Philosophical Logic, published online February 2019, with G.K. Olkhovikov.
  • On non-transitive 'identity', to appear in: C. Baskent and T.M. Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer, with D. Skurt.


  • Proof systems for various FDE-based modal logics, submitted, with S.A. Drobyshevich.
  • The Nature of Entailment: an Ackermann-inspired Justification of Cut, submitted, with Y. Shramko.
  • Connexive conditional logic. Part 1, Logic and Logical Philosophy, published online December 2018, with M. Unterhuber.
  • On Contra-classical variants of Nelson logic N4 and its classical extension, Review of Symbolic Logic 11 (2018), 805-820, with H. Omori.
  • Negation as cancellation, connexive logic, and qLPm, Australasian Journal of Logic 15 (2018), 476-488, with D. Skurt. pdf
  • Inference as doxastic agency. Part I: The basics of justification stit logic, Studia Logica, published online January 2018, with G.K. Olkhovikov.


  • An inferentially many-valued two-dimensional notion of entailment, Bulletin of the Section of Logic 46 (2017), 233–262, with C. Blasio and J. Marcos.pdf
  • A more general general proof theory, Journal of Applied Logic 25 (2017), 23-46.
  • Inference as doxastic agency. Part II: Ramifications and refinements, Australasian Journal of Logic 14 (2017), 408-438, with G.K. Olkhovikov. pdf
  • Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant, Studia Logica 105 (2017), 1193-1219, with N. Kamide and Y. Shramko.
  • Disentangling FDE-based Paraconsistent Modal Logics, Studia Logica 105 (2017), 1221-1254, with S.P. Odintsov.
  • An axiom system and a tableau calculus for STIT imagination logic, Journal of Philosophical Logic, 47 (2017), 259-279, with G.K. Olkhovikov.


  • On the methodology of paraconsistent logic, in: H. Andreas and P. Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics,Springer, 2016, 175-204, with S.P. Odintsov.
  • Natural deduction for bi-connexive logic and a two-sorted typed λ-calculus, IfCoLog Journal of Logics and their Applications 3 (2016), 413-439. pdf
  • Completeness of connexive Heyting-Brouwer logic, IfCoLog Journal of Logics and their Applications 3 (2016), 441-466, with N. Kamide. pdf
  • On split negation, strong negation, information, falsification, and verification, in: K. Bimbó (ed.), J. Michael Dunn on Information Based Logics, Springer, 2016, 161-189.


  • Remarks on the logic of imagination. A step towards understanding doxastic control through imagination, Synthese, 82 (2017) , 1277-1297, published online October 2015, doi: 10.1007/s11229-015-0945-4.
  • Prawitz, proofs, and meaning, in: H. Wansing (ed.), Dag Prawitz on Proofs and Meaning, Springer, Dordrecht. 2015, 1-32, doi: 10.1007/978-3-319-11041-7_1.
  • Knowability remixed, in: C. Caret and O. Hjortland, Foundations of Logical Consequence, Oxford UP, 2015, 321-328.


  • External Curries, Journal of Philosophical Logic 44 (2015), 453-471, published online November  2014, doi: 10.1007/s1, with Graham Priest.
  • The logic of generalized truth values and the logic of bilattices, Studia Logica 103 (2015), 91-112, published online April 2014, doi: 10.1007/s11225-014-9546-3, with S.P. Odintsov.
  • Hypersequent and display calculi - a uni fied perspective, Studia Logica 102 (2014), 1245-1294, with A.Ciabattoni and R. Ramanayake.


  • Falsi fication, natural deduction, and bi-intuitionistic logic, Journal of Logic and Computation 26 (2016), 425-450, published online July 2013, doi:10.1093/logcom/ext035.


  • Proof theory of Nelson's paraconsistent logic: A uniform perspective, Theoretical Computer Science 415 (2012), 1-38,  with N. Kamide.
  • A non-inferentialist, anti-realistic conception of logical truth and falsity, Topoi 31 (2012), 93-100.


  • Connexive modal logic based on positive S4, in: J.-Y. Beziau and Marcelo Coniglio (eds.), Logic without Frontiers. Festschrift for Walter Alexandre Carnielli on the Occasion of His 60th Birthday, College Publications, London, 2011, 389-409, with N. Kamide.
  • Completeness and cut-elimination theorems for trilattice logics, Annals of Pure and Applied Logic 162 (2011), 816-835, with N. Kamide.
  • Negation in der konstruktiven Logik, in: C. F. Gethmann (ed.): Deutsches Jahrbuch Philosophie 2, 2011.
  • A paraconsistent linear-time temporal logic, Fundamenta Informaticae 106 (2011), 1-23, with N. Kamide.
  • Reasoning about Belief Revision, in: Erik J. Olsson and S. Enqvist (eds.), Belief Revision meets Philosophy of Science, Springer Verlag, Dordrecht, 2011, 303-328, with C. Semmling.
  • Synchronized linear-time temporal logic, Studia Logica 99 (2011), 365-388, with N. Kamide.


  • Intuitionistic trilattice logics, Journal of Logic and Computation 20 (2010), 1201-1229, with N. Kamide.
  • Combining linear-time temporal logic with constructiveness and paraconsistency, Journal of Applied Logic 8 (2010), 33-61, with N. Kamide.
  • Modal logics with Belnapian truth values, Journal of Applied Non-Classical Logics 20 (2010), 279-301, with S.P. Odintsov.
  • Generalized Truth Values. A Reply to Dubois, Logic Journal of the Interest Group in Pure and Applied Logics 18 (2010), 921-935, with N.D. Belnap.
  • Proofs, disproofs, and their duals, in: L. Beklemishev, V. Goranko and V. Shehtman (eds.), Advances in Modal Logic 2010, College Publications, London, 2010, 483-505. pdf
  • The Power of Belnap: Sequent systems for SIXTEEN_3, Journal of Philosophical Logic 39 (2010), 369-393.
  • Symmetric and dual paraconsistent logics, Logic and Logical Philosophy 19 (2010), 7-30, with N. Kamide.


  • Sequent calculi for some trilattice logics, Review of Symbolic Logic 2 (2009), 374-395, with N. Kamide.
  • A sound and complete axiomatic system of bdi-stit logic, in: M. Pelis (ed.), Logica Yearbook 2008, College Publications, London 2009, 193-210, with C. Semmling.
  • The Slingshot-Argument and sentential identity, Studia Logica 91 (2009), 429-455, with Y. Shramko.



  • Constructive negation, implication, and co-implication, Journal of Applied Non-Classical Logics 18 (2008), 341-364.
  • A note on two ways of defining a many-valued logic, in: M. Pelis (ed.) Logica Yearbook 2007, 2008, 255-266, with Y. Shramko.
  • From BDI and stit to bdi-stit logic, Logic and Logical Philosophy 17 (2008), 185-207, with C. Semmling.
  • Suszko's Thesis, inferential many-valuedness, and the notion of a logical system, Studia Logica 88 (2008), 405-429, 89 (2008), 147, with Y. Shramko.
  • Harmonious many-valued propositional logics and the logic of computer networks, in: C. Dégremont, L. Keiff and H. Rückert (eds.), Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, London, 2008, 491-516, with Y. Shramko.
  • Inconsistency-tolerant Description Logic. Part II: Tableau Algorithms, Journal of Applied Logic 6 (2008), 343-360, with S.P. Odintsov.


  • Entailment relations and/as truth values, Bulletin of the Section of Logic, 36 (2007), 131-143, with Y. Shramko.
  • Zitattheorien der Eigennamen, in: A. Rami and H. Wansing (eds.), Referenz und Realität, Mentis Verlag, Paderborn, 2007, 261-286.
  • A Note on Negation in Categorial Grammar, Logic Journal of the Interest Group in Pure and Applied Logics 15 (2007), 271-286.


  • Hyper-contradictions, Generalized Truth Values, and Logics of Truth and Falsehood, Journal of Logic, Language and Information 15 (2006), 403-424, with Y. Shramko.
  • Tableaux for Multi-agent Deliberative-stit Logic, in: G. Governatori, I. Hodkinson and Y. Venema (eds.), Advances in Modal Logic. Volume 6, King's College Publications, 2006, 503-520.
  • Connectives Stranger than tonk, Journal of Philosophical Logic 35 (2006), 653-660.
  • Logical Connectives for Constructive Modal Logic, Synthese 150 (2006), 459-482.
  • Doxastic Decisions, Epistemic Justification, and the Logic of Agency, Philosophical Studies 128 (2006), 201-227.
  • Contradiction and Contrariety. Priest on Negation, in: J. Malinowski and A. Pietruszczak (eds.), Essays in Logic and Ontology, Rodopi, Amsterdam, 2006, 81-93.



  • The Logic of Computer Networks (in Russian), Logical Studies (Moscow), v. 12, 2005, 119-145, with Yaroslav Shramko.
  • Connexive Modal Logic, in: R. Schmidt et al. (eds.), Advances in Modal Logic. Volume 5, King's College Publications, 2005, 367-383. pdf
  • Some Useful 16-valued Logics. How a Computer Network Should Think, Journal of Philosophical Logic, 34 (2005), 121-153, with Yaroslav Shramko.
  • Normative Verantwortung für Handlungen Anderer. Eine Untersuchung im Rahmen der stit-Theorie, Facta Philosophica 7 (2005), 167-187, with Sarah Ganter.
  • On the Negation of Action Types: Constructive Concurrent PDL, in: P. Hájek, L. Valdes-Villanueva, and D. Westerstahl (eds.), Logic Methodology and Philosophy of Science. Proceedings of the Twelfth International Congress, King's College Publications, London, 2005, 207-225.


  • Constructive Predicate Logic and Constructive Modal Logic. Formal Duality versus Semantical Duality, in: V. Hendricks et al. (eds.), First-Order Logic Revisited, Logos Verlag, Berlin, 2004, 269-286, with S.P. Odintsov.
  • Action-theoretic Aspects of Theory Choice, in: S. Rahman, J. Symons, D. Gabbay, and J.-P. Van Bendegem (eds.), Logic, Epistemology and the Unity of Science, Kluwer Academic Publishers, Dordrecht, 2004, 419-435.
  • Widersprüchlichkeit und Kontrarität. Priest über Negation, in: B. Christiansen und U. Scheffler (Hrsg.), Was folgt. Themen zu Wessel, Logos Verlag, Berlin, 2004, 251-267. (German translation of: Contradiction and Contrariety. Priest on Negation, in: J. Malinowski and A. Pietruszczak (eds.), Essays in Logic and Ontology, Rodopi, Amsterdam, 2006, 81-93.)


  • Inconsistency-tolerant Description Logic. Motivation and Basic Systems, in: V. Hendricks and J. Malinowski (eds.), Trends in Logic. 50 Years of Studia Logica, Kluwer Academic Publishers, Dordrecht, 2003, 301-335, with S.P. Odintsov.


  • Diamonds are a Philosopher's Best Friends. The Knowability Paradox and Modal Epistemic Relevance Logic, Journal of Philosophical Logic 31 (2002), 591-612.
  • Seeing to it that an agent forms a belief, Logic and Logical Philosophy 10 (2002), 185-197.
  • Consequence, counterparts and substitution, The Monist 85 (2002), 483-497, with Sebastian Bauer.
  • Sequent systems for modal logics, in: Handbook of Philosophical Logic, Vol. 8., ed. by D. Gabbay and F. Guenthner, Kluwer Academic Publishers, 2002, 61-145.
  • A Rule-extension of the Non-associative Lambek calculus, Studia Logica 71 (2002), 443-454.


  • Obligations, Authorities, and History Dependence, in: H. Wansing (ed.), Essays on Non-classical Logic, World Scientific, London/Singapore, 2001, 247-258.
  • Negation, in: L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Basil Blackwell Publishers, Cambridge/MA, 2001, 415-436.



  • Formulas-as-types for temporal logic, Technical Report, Dresden University of Technology, Institute of Philosophy, 2000.
  • A Reduction of Doxastic Logic to Action Logic, Erkenntnis 53 (2000), 267-283.
  • The Idea of a Proof-theoretic Semantics, Studia Logica 64 (2000), 3-20.


  • Higher-arity Gentzen Systems for Nelson's Logics, in: J. Nida-Rümelin (ed.), Proceedings Rationalität, Realismus, Revision (GAP3), de Gruyter, Berlin, 1999, 105-109.
  • Negation as Falsity: a Reply to Tennant, in: Dov Gabbay and H. Wansing (ed.), What is Negation?, Kluwer Academic Publishers, Dordrecht, 1999, 223-238.
  • Predicate Logics on Display, Studia Logica 62 (1999), 49-75.
  • Displaying the Modal Logic of Consistency, Journal of Symbolic Logic 64 (1999), 1573-1590, 68 (2003), 712.


  • Nested Deontic Modalities: Another View of Parking on Highways, Erkenntnis 49 (1998), 185-199.
  • Translation of Hypersequents into Display Sequents, Logic Journal of the Interest Group in Pure and Applied Logics 6 (1998), 719-733.


  • Modal Tableaux Based on Residuation, Journal of Logic and Computation 7 (1997), 719-731.
  • Displaying as Temporalizing. Sequent Systems for Subintuitionistic Logics, in: S. Akama (ed.), Logic and Computation, Kluwer Academic Publishers, Dordrecht, 1997, 159-178.
  • A Full-Circle Theorem for Simple Tense Logic, in: M. de Rijke (ed.), Advances in Intensional Logic, Kluwer Academic Publishers, Dordrecht, 1997, 173-193.


  • A New Axiomatization of Kt, Bulletin of the Section of Logic 25 (1996), 60-62. pdf
  • A Proof-Theoretic Proof of Functional Completeness for many Modal and Tense Logics, in: H. Wansing (ed.), Proof Theory of Modal Logic, Kluwer Academic Publishers, Dordrecht, 1996, 123-136.
  • A Fugue on the Themes of Awareness Logic and Correspondence, Journal of Applied Non-Classical Logics 6 (1996), 127-136, with Elias Thijsse.


  • Strong Cut-Elimination in Display Logic, Reports on Mathematical Logic 29 (1995), 117-131.
  • Semantics-Based Nonmonotonic Inference, Notre Dame Journal of Formal Logic 36 (1995), 44-54.
  • Strong Cut-Elimination for Constant Domain First-Order S5, Journal of the Interest Group in Pure and Applied Logics 3 (1995), 797-810.
  • Negation in Structured Consequence Relations, in: A. Fuhrmann and H. Rott (eds.), Logic, Action and Information, de Gruyter, Berlin, 1995, 328-350, with Dov Gabbay.
  • Tarskian Structured Consequence Relations and Functional Completeness, Mathematical Logic Quarterly 41 (1995), 73-92.
  • On the Expressiveness of Categorial Grammar, in: V. Sinsini and J. Wolenski (eds.), The Heritage of Kazimierz Ajdukiewicz, Rodopi, Amsterdam, 1995, 337-351.



  • Actions and Preventions. A Constructive System of Unsorted Action Logic, in: J. Faye et al. (eds.), Logic and Causal Reasoning, Akademie Verlag, Berlin, 1994, 131-140.
  • Sequent Calculi for Normal Modal Propositional Logics, Journal of Logic and Computation 4 (1994), 125-142.


  • Informational Interpretation of Substructural Propositional Logics, Journal of Logic, Language and Information 2 (1993), 285-308.
  • Functional Completeness for Subsystems of Intuitionistic Propositional Logic, Journal of Philosophical Logic 22 (1993), 303-321.


  • Formulas-as-Types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic, in: D. Pearce and H. Wansing (eds.), Non-classical Logics and Information Processing, Springer Lecture Notes in AI 619, Springer-Verlag, Berlin, 1992, 125-145.


  • Überlegungen zur Logik abstrakter Informationsstrukturen, in: Untersuchungen zur Logik und Methodologie 8, Karl-Marx-Universität Leipzig, 1991, 67-75.


  • A General Possible Worlds Framework for Reasoning about Knowledge and Belief, Studia Logica 49 (1990), 523-539, 50 (1991), 359.


  • The Adequacy Problem for Sequential Propositional Logic, ITLI-Prepublication Series for Logic, Semantics and Philosophy of Language LP-89-07, Universiteit van Amsterdam, 1989.
  • Relevant Quasi-Deductions, Weak Implicational Logics, and Operational Semantics, Veröffentlichungen der Joachim Jungius-Gesellschaft Hamburg, 61 (1989), 181-191.
  • Bemerkungen zur Semantik nicht-normaler möglicher Welten, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 35 (1989), 551-557.
  • On the Methodology of Possible Worlds Semantics, II: Nonnormal Worlds and Propositional Attitudes, Report 2/1989, Gruppe für Logik, Wissenstheorie und Information, Freie Universität Berlin, 1989, with David Pearce.


  • On the Methodology of Possible Worlds Semantics, I: Correspondence Theory, Notre Dame Journal of Formal Logic, 29 (1988), 482-496, with David Pearce. pdf


Contributions to encyclopaedias etc.

  • Negation, in: The Stanford Encyclopedia of Philosophy (Summer 2015 Edition), Edward N. Zalta (ed.), URL = <>, with L. Horn, first published on January 7, 2015.
  • Formale Erkenntnistheorie. Erkenntnistheorie und epistemische Logik, in: T. Bonk (ed.), Lexikon der Erkenntnistheorie, Wissenschaftliche Buchgesellschaft, Darmstadt, 2013, 76-84, with C. Willkommen.
  • Logik, in: J. Rohbeck und P. H. Breitenstein (eds.), Philosophie, Metzler, Stuttgart, 2011, 213-231, with C. Semmling.
  • Truth values, in: The Stanford Encyclopedia of Philosophy (Summer 2014 Edition), Edward N. Zalta (ed.), URL = <>, with Y. Shramko, first published on March 30, 2010.
  • Definition, in: S. Jordan and C. Nimtz (eds.), Lexikon Philosophie. Hundert Grundbegriffe, Reclam Verlag, Stuttgart, 2009, 61-63.
  • Logic, in: Giandomenico Sica (ed.), The Language of Science, Polimetrica, Monza, 2007, (5pp).
  • Ex formulis cognitio, in: V. Hendricks and J. Symons (eds.), Masses of Formal Philosophy, Automatic Press, New York, 2006, 119-227.
  • Connexive Logic, in: The Stanford Encyclopedia of Philosophy (Fall 2014 Edition), Edward N. Zalta (ed.), URL = <>, first published on January 6, 2006..
  • Nicht jede zutreffende Information wird gegeben, in: T. Spitzley and R. Stöcker (eds.), Philosophie à la carte, Mentis Verlag, Paderborn, 2002, 51-52.
  • Proofs and Expressiveness in Alethic Modal Logic, in D. Jacquette (ed.), A Companion to Philosophical Logic, Basil Blackwell Publishers, Cambridge/MA., 2002, 422-441, with Maarten de Rijke.
  • Negation, in: H.J. Sandkühler (ed.), Enzyklopädie der Philosophie, Felix Meiner Verlag, Hamburg, 1999.
  • Modallogik, in: H.J. Sandkühler (ed.), Enzyklopädie der Philosophie, Felix Meiner Verlag, Hamburg, 1999.