Research papers & contributions to encyclopaedias etc.
2023
Quantifiers in connexive logic (in general and in particular), submitted for publication, with Zach Weber.
Connexive logic, connexivity, and connexivism: Remarks on terminology, to appear in Studia Logica, with Hitoshi Omori.
Constructive logic is connexive and contradictory, to appear in: Logic and Logical Philosophy.
Remarks on semantic information and logic. From semantic tetralateralism to the pentalattice 65536_5, to appear in Logica Yearbook 2022, 2023.
Logical multilateralism, Journal of Philosophical Logic, published online
On the contradictions of the connexive logics C and C3, Journal of Philosophical Logic, published online with Satoru Niki. open access
On synonymy in proof-theoretic semantics. The case of 2Int, Bulletin of the Section of Logic, 52(2) (2023), 187-237, with S. Ayhan. open access
2022
Beyond Paraconsistency. A plea for a radical breach with the Aristotelean orthodoxy in logic, to appear in: Abilio Rodrigues, Henrique Antunes and Alfredo Freire (eds), Walter Carnielli on Reasoning, Paraconsistency, and Probability, Springer.
A note on "A Connexive Conditional", Logos & Episteme 13, 2022, 325-328, with Hitoshi Omori. open access
Moisil's modal logic and related systems, in: K. Bimbó (ed.), Relevance Logics and other Tools for Reasoning. Essays in Honour of Michael Dunn, College Publications, London, 2022, 150-177, with S.P. Odintsov and S.A. Drobyshevich. open access
Contra-classicality in view of Dunn semantics, in: K. Bimbó (ed.), Relevance Logics and other Tools for Reasoning. Essays in Honour of Michael Dunn, College Publications, London, 2022, 309-337. with H. Omori. open access
One heresy and one orthodoxy: On dialetheism, dimathematism, and the non-normativity of logic, Erkenntnis, published online 09 March 2022. open access
2021
Stit-logic for imagination episodes with voluntary input, Review of Symbolic Logic, Published online 06 December 2021, with Ch. Badura. open access
Routley star and hyperintensionality, Journal of Philosophical Logic, 50 (2021), 33-56, published online May 2020, with S.P. Odintsov. link to the paper
Connexive variants of modal logics over FDE, in: Ofer Arieli and Anna Zamansky (eds), Arnon Avron on Non-Classical Logics - Between Semantics and Proof Theory, Springer, 295-318, with S.P. Odintsov and D. Skurt. link to the paper
2020
Substructural negations as normal modal operators, to appear in: R. Padro and Y. Weiss (eds), Saul Kripke on Modal Logic, Springer.
A note on synonymy in proof-theoretic semantics, to appear in: T. Piecha and K. Wehmeier (eds), Peter Schroeder-Heister on Proof- heoretic Semantics, Springer.
An extension of connexive logic C, in: N. Olivetti et al. (eds), Advances in Modal Logic. Vol. 13, London, College Publications, 503-522, with H. Omori. open access
On non-transitive 'identity', in: C. Baskent and T.M. Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer, 2020, 535-553, with D. Skurt. link to the paper
2019
The nature of entailment: an informational approach, Synthese, published online November 2019, with Y. Shramko. link to the paper
Proof systems for various FDE-based modal logics, Review of Symbolic Logic 13 (2020), 720-747, published online June 2019, with S.A. Drobyshevich. link to the paper
On definability of connectives and modal logics over FDE, Logic and Logical Philosophy 28 (2019), 631-659, with S.P. Odintsov and D. Skurt. open access
Simplified tableaux for STIT imagination logic, Journal of Philosophical Logic 48 (2019), 981-1001, with G.K. Olkhovikov. link to the paper
2018
Connexive conditional logic. Part 1, Logic and Logical Philosophy 28 (2019), 567-610, published online December 2018, with M. Unterhuber, open access
On Contra-classical variants of Nelson logic N4 and its classical extension, Review of Symbolic Logic 11 (2018), 805-820, with H. Omori. link to the paper
Negation as cancellation, connexive logic, and qLPm, Australasian Journal of Logic 15 (2018), 476-488, with D. Skurt. open access
Inference as doxastic agency. Part I: The basics of justification stit logic, Studia Logica 107 (2018), 167-194, with G.K. Olkhovikov. link to the paper
2017
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. open access
A more general general proof theory, Journal of Applied Logic 25 (2017), 23-46. link to the paper
Inference as doxastic agency. Part II: Ramifications and refinements, Australasian Journal of Logic 14 (2017), 408-438, with G.K. Olkhovikov. open access
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant, Studia Logica 105 (2017), 1193-1219, with N. Kamide and Y. Shramko. link to the paper
Disentangling FDE-based Paraconsistent Modal Logics, Studia Logica 105 (2017), 1221-1254, with S.P. Odintsov. link to the paper
An axiom system and a tableau calculus for STIT imagination logic, Journal of Philosophical Logic, 47 (2017), 259-279, with G.K. Olkhovikov. link to the paper
2016
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. link to the paper
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. link to the paper
2015
Remarks on the logic of imagination. A step towards understanding doxastic control through imagination, Synthese, 82 (2017) , 1277-1297, published online October 2015.link to the paper
Prawitz, proofs, and meaning, in: H. Wansing (ed.), Dag Prawitz on Proofs and Meaning, Springer, Dordrecht. 2015, 1-32. link to the paper
Knowability remixed, in: C. Caret and O. Hjortland, Foundations of Logical Consequence, Oxford UP, 2015, 321-328. link to the paper
2014
External Curries, Journal of Philosophical Logic 44 (2015), 453-471, published online November 2014, doi: 10.1007/s1, with Graham Priest. link to the paper
The logic of generalized truth values and the logic of bilattices, Studia Logica 103 (2015), 91-112, published online April 2014, with S.P. Odintsov. link to the paper
Hypersequent and display calculi - a uni fied perspective, Studia Logica 102 (2014), 1245-1294, with A.Ciabattoni and R. Ramanayake.pdf
2013
Falsi fication, natural deduction, and bi-intuitionistic logic, Journal of Logic and Computation 26 (2016), 425-450, published online July 2013. link to the paper
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. link to the paper
Completeness and cut-elimination theorems for trilattice logics, Annals of Pure and Applied Logic 162 (2011), 816-835, with N. Kamide. link to the paper
Negation in der konstruktiven Logik, in: C. F. Gethmann (ed.): Deutsches Jahrbuch Philosophie 2, 2011. link to the paper
A paraconsistent linear-time temporal logic, Fundamenta Informaticae 106 (2011), 1-23, with N. Kamide. link to the paper
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. link to the paper
Synchronized linear-time temporal logic, Studia Logica 99 (2011), 365-388, with N. Kamide. pdf
2010
Intuitionistic trilattice logics, Journal of Logic and Computation 20 (2010), 1201-1229, with N. Kamide. link to the paper
Combining linear-time temporal logic with constructiveness and paraconsistency, Journal of Applied Logic 8 (2010), 33-61, with N. Kamide.pdf
Modal logics with Belnapian truth values, Journal of Applied Non-Classical Logics 20 (2010), 279-301, with S.P. Odintsov. link to the paper
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. link to the paper
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. link to the paper
Symmetric and dual paraconsistent logics, Logic and Logical Philosophy 19 (2010), 7-30, with N. Kamide. pdf
2009
Sequent calculi for some trilattice logics, Review of Symbolic Logic 2 (2009), 374-395, with N. Kamide. link to the paper
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. link to the paper
The Slingshot-Argument and sentential identity, Studia Logica 91 (2009), 429-455, with Y. Shramko. pdf
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.
2007
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.
2006
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.
2004
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.)
2003
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.
2002
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.
2001
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.
1999
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.
1998
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.
1997
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.
1996
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.
1995
Strong Cut-Elimination in Display Logic, Reports on Mathematical Logic 29 (1995), 117-131.
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.
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.
1993
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. link to the paper
1992
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.
1991
Überlegungen zur Logik abstrakter Informationsstrukturen, in: Untersuchungen zur Logik und Methodologie 8, Karl-Marx-Universität Leipzig, 1991, 67-75.
1990
A General Possible Worlds Framework for Reasoning about Knowledge and Belief, Studia Logica 49 (1990), 523-539, 50 (1991), 359.
1989
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.
1988
On the Methodology of Possible Worlds Semantics, I: Correspondence Theory, Notre Dame Journal of Formal Logic, 29 (1988), 482-496, with David Pearce. pdf
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.
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.
