Papers

Papers

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

2. On the Methodology of Possible Worlds Semantics, II: Nonnormal Worlds and Propositional Attitudes, Bericht 2/1989, Gruppe für Logik, Wissenstheorie und Information, FU Berlin, 1989, with D. Pearce.

3. Bemerkungen zur Semantik nicht-normaler möglicher Welten, Zeitschrift für MathematischLogik und Grundlagen der Mathematik 35 (1989), 551–557.

4. Relevant Quasi-Deductions, Weak Implicational Logics, and Operational Semantics, Veröffentlichungen der Joachim Jungius-Gesellschaft Hamburg 61 (1989), 181–191.

5. The Adequacy Problem for Sequential Propositional Logic, ITLI-Prepublication Series for Logic, Semantics and Philosophy of Language LP-89-07, Universiteit van Amsterdam, 1989.

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

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

8. 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, Berlin, 1992, 125–145.

9. Functional Completeness for Subsystems of Intuitionistic Propositional Logic, Journal of Philosophical Logic 22 (1993), 303–321.

10. Informational Interpretation of Substructural Propositional Logics, Journal of Logic, Language and Information 2 (1993), 285–308.

11. 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.

12. Sequent Calculi for Normal Modal Propositional Logics, Journal of Logic and Computation 4 (1994), 125–142.

13. On the Expressiveness of Categorial Grammar, in: V. Sinsini and J. Wolenski (eds), The Heritage of Kazimierz Ajdukiewicz, Rodopi, Amsterdam, 1995, 337–351.

14. Tarskian Structured Consequence Relations and Functional Completeness, Mathematical Logic Quarterly 41 (1995), 73–92.

15. Negation in Structured Consequence Relations, in: A. Fuhrmann and H. Rott (eds), Logic, Action and Information, de Gruyter, Berlin, 1995, 328–350, with D. Gabbay.

16. Strong Cut-Elimination for Constant Domain First-Order S5, Logic Journal of the IGPL 3 (1995), 797–810.

17. Semantics-Based Nonmonotonic Inference, Notre Dame Journal of Formal Logic 36 (1995), 44–54. pdf

18. Strong Cut-Elimination in Display Logic, Reports on Mathematical Logic 29 (1995), 117–131.

19. A Fugue on the Themes of Awareness Logic and Correspondence, Journal of Applied Non-Classical Logics 6 (1996), 127–136, with Elias Thijsse.

20. A Proof-Theoretic Proof of Functional Completeness for many Modal and Tense Logics, in: H. Wansing (ed.), Proof Theory of Modal Logic, Kluwer, Dordrecht, 1996, 123-136.

21. A New Axiomatization of Kt, Bulletin of the Section of Logic 25 (1996), 60–62.

22. Displaying as Temporalizing. Sequent Systems for Subintuitionistic Logics, in: S. Akama (ed.), Logic and Computation, Kluwer, Dordrecht, 1997, 159–178.

23.  A Full-Circle Theorem for Simple Tense Logic, in: M. de Rijke (ed.), Advances in Intensional Logic, Kluwer, Dordrecht, 1997, 173–193.

24. Modal Tableaux Based on Residuation, Journal of Logic and Computation 7 (1997), 719–731.

25. Translation of Hypersequents into Display Sequents, Logic Journal of the IGPL 6 (1998), 719–733.

26. Nested Deontic Modalities: Another View of Parking on Highways, Erkenntnis 49 (1998),185–199.

27. Displaying the Modal Logic of Consistency, Journal of Symbolic Logic 64 (1999), 1573–1590, 68 (2003), 712.

28. Predicate Logics on Display, Studia Logica 62 (1999), 49–75.

29. Negation as Falsity: a Reply to Tennant, in: D. Gabbay and H. Wansing (eds), What is Negation?, Kluwer, Dordrecht, 1999, 223–238.

30. Higher-arity Gentzen Systems for Nelson’s Logics, in: J. Nida-Rümelin (ed.), Rationalität,Realismus, Revision (GAP3), de Gruyter, Berlin, 1999, 105–109.

31. The Idea of a Proof-theoretic Semantics, Studia Logica 64 (2000), 3–20.

32. A Reduction of Doxastic Logic to Action Logic, Erkenntnis 53 (2000), 276–283.

33. Formulas-as-types for Temporal Logic, Technical Report, Dresden University of Technology, Institute of Philosophy, 2000.

34. Negation, in: L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Basil Blackwell Publishers, Cambridge/MA, 2001, 415–436.

35. Obligations, Authorities, and History Dependence, in: H. Wansing (ed.), Essays on Non-classical Logic, World Scientific, London, 2001, 247–258.

36. A Rule-extension of the Non-associative Lambek Calculus, Studia Logica 71 (2002), 443–454.

37. Sequent Systems for Modal Logics, in: D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol. 8, Kluwer, Dordrecht, 2002, 61–145.

38. Consequence, Counterparts and Substitution, The Monist 85 (2002), 483–497, with S.Bauer.

39. Seeing to it that an Agent Forms a Belief, Logic and Logical Philosophy (10) 2002,185–197. pdf

40. Diamonds are a Philosopher’s Best Friends. The Knowability Paradox and Modal Epistemic Relevance Logic, Journal of Philosophical Logic 31 (2002), 591–612.

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

42. 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, Dordrecht, 2004, 419–435.

43. Constructive Predicate Logic and Constructive Modal Logic. Formal Duality versus Semantical Duality, in: V. Hendricks et al. (eds), First-Order Logic Revisited, Logos, Berlin, 2004, 269–286, with S.P. Odintsov.

44. On the Negation of Action Types: Constructive Concurrent PDL, in: P. Hájek, L. Valdes, and D. Westerstahl (eds), Logic Methodology and Philosophy of Science. Proceedings of the Twelfth International Congress, College Publications, London, 2005, 207–225.

45. Normative Verantwortung für Handlungen Anderer. Eine Untersuchung im Rahmen der stit-Theorie, Facta Philosophica 7 (2005), 167–187, with S. Ganter.

46. Some Useful 16-valued Logics. How a Computer Network Should Think, Journal of Philosophical Logic 34 (2005), 121–153, with Y. Shramko.

47. Connexive Modal Logic, in: R. Schmidt et al. (eds), Advances in Modal Logic. Vol. 5, King’s College Publications, London, 2005, 367-383. pdf

48. The Logic of Computer Networks (in Russian), Logical Studies (Moscow) 12 (2005), 119-145, with Y. Shramko.

49. Contradiction and Contrariety. Priest on Negation, in: J. Malinowski and A. Pietruszczak (eds), Essays in Logic and Ontology. Dedicated to Jerzy Perzanowski, Rodopi, Amsterdam, 2006, 81–93.(German transl. in: Widersprüchlichkeit und Kontrarität. Priest über Negation, B. Christiansen and U. Scheffler (eds), Was folgt. Themen zu Wessel, Logos, Berlin, 2004, 251–267.)

50. Doxastic Decisions, Epistemic Justification, and the Logic of Agency, Philosophical Studies 128 (2006), 201–227.

51. Logical Connectives for Constructive Modal Logic, Synthese 150 (2006), 459–482.

52. Connectives Stranger than tonk, Journal of Philosophical Logic 35 (2006), 653–660.

53. Tableaux for Multi-agent Deliberative-stit Logic, in: G. Governatori, I. Hodkinson and Y. Venema (eds), Advances in Modal Logic. Vol. 6, King’s College Publications, London, 2006, 503–520. pdf

54. Hyper-contradictions, Generalized Truth Values and Logics of Truth and Falsehood, Journal of Logic, Language and Information 15 (2006), 403–424, with Y. Shramko.

55. A Note on Negation in Categorial Grammar, Logic Journal of the IGPL 15 (2007), 271–286.

56. Zitattheorien der Eigennamen, in: A. Rami and H. Wansing (eds), Referenz und Realität, Mentis, Paderborn, 2007, 261–286.

57. Entailment Relations and/as Truth Values, Bulletin of the Section of Logic 36 (2007), 131–143, with Y. Shramko.

58. Inconsistency-tolerant Description Logic. Part II: Tableau Algorithms, Journal of Applied Logic 6 (2008), 343–360, with S.P. Odintsov. pdf

59. Harmonious Many-valued Propositional Logics and the lLogic 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.

60. 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.

61. From BDI and stit to bdi-stit Logic, Logic and Logical Philosophy 17 (2008), 185–207, with C. Semmling. pdf

62. A Note on Two Ways of Defining a Many-valued Logic, in: M. Pelis (ed.), Logica Yearbook 2007, 2008, 255-266, with Y. Shramko.

63. Constructive Negation, Implication, and Co-implication, Journal of Applied Nonclassical Logic, 18 (2008), 341–364. pdf

64. The Slingshot-Argument and Sentential Identity, Studia Logica 91 (2009), 429–455, with Y. Shramko.

65. 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.

66. Sequent Calculi for Some Trilattice Logics, Review of Symbolic Logic 2 (2009), 374–395, with N. Kamide.

67. Symmetric and Dual Paraconsistent Logics, Logic and Logical Philosophy 19 (2010), 7–30, with N. Kamide pdf

68.  The Power of Belnap: Sequent Systems for SIXTEEN3, Journal of Philosophical Logic 3 (2010), 369–393.

69. 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.

70. Generalized Truth Values. A Reply to Dubois, Logic Journal of the IGPL 18 (2010), 921-935, with N.D. Belnap.

71. Combining Linear-time Temporal Logic with Constructiveness and Paraconsistency, Journal of Applied Logic 6 (2010), 33–61, with N. Kamide.

72. Modal Logics with Belnapian Truth Values, Journal of Applied Non-Classical Logics 20 (2010), 279-301, with S.P. Odintsov.

73. Intuitionistic Trilattice Logics, Journal of Logic and Computation 20 (2010), 1201–1229, with N. Kamide.

74. Reasoning about Belief Revision, in: Erik J. Olsson and S. Enqvist (eds), Belief Revision meets Philosophy of Science, Springer, Dordrecht, 2011, 303–328, with C. Semmling.

75. Connexive Modal Logic Based on Positive S4, in: J.-Y. Béziau and M. 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.

76. A Paraconsistent Linear-time Temporal Logic, Fundamenta Informaticae 106 (2011), 1–23, with N. Kamide.

77. Negation in der konstruktiven Logik, in: C.F. Gethmann (ed.), Deutsches Jahrbuch Philosophie 2, Meiner, Hamburg, 2011, 1093–1110.

78. Synchronized Linear-time Temporal Logic, Studia Logica 99 (2011), 365–388, with N. Kamide.

79. Completeness and Cut-elimination Theorems for Trilattice Logics, Annals of Pure and Applied Logic 162 (2011), 816–835, with N. Kamide.

80. A Non-inferentialist, Anti-realistic Conception of Logical Truth and Falsity, Topoi 31 (2012), 93–100.

81. Proof Theory of Nelson’s Paraconsistent Logic: A Uniform Perspective, Theoretical Computer Science 415 (2012), 1–38, with N. Kamide. pdf

82. Falsification, Natural deduction, and Bi-intuitionistic Logic, Journal of Logic and Computation 26 (2016), 425–450, published online July 2013.

83. Hypersequent and Display Calculi - A Unified Perspective, Studia Logica 102 (2014), 1245–1294, with A. Ciabattoni and R. Ramanayake.

84. 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.

85. External Curries, Journal of Philosophical Logic 44 (2015), 453–471, published online November 2014, with G. Priest.

86.  Knowability Remixed, in: C. Caret and O. Hjortland (eds), Foundations of Logical Consequence, Oxford UP, 2015, 321–328.

87. Prawitz, Proofs, and Meaning, in: H. Wansing (ed.), Dag Prawitz on Proofs and Meaning, Springer, Dordrecht, 2015, 1–32.

88. Remarks on the Logic of Imagination. A Step Towards Understanding Doxastic Control Through Imagination, Synthese 194 (2017), 2843–2861, published online October 23, 2015.

89. On the Methodology of Paraconsistent Logic, in: H. Andreas and P. Verdée (eds), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Springer, Dordrecht, 2016, 175–204, with S.P. Odintsov.

90. On Split Negation, Strong Negation, Information, Falsification, and Verification, in: K. Bimbó (ed.), J. Michael Dunn on Information Based Logics, Springer, Dordrecht, 2016, 161–189.

91. Completeness of Connexive Heyting-Brouwer Logic, IfCoLog Journal of Logics and their Applications 3 (2016), 441–466, with N. Kamide.

92. Natural Deduction for Bi-connexive Logic and a Two-sorted Typed  λ-calculus, IfCoLog Journal of Logics and their Applications 3 (2016), 413–439.

93. An Axiom System and a Tableau Calculus for STIT Imagination Logic, Journal of Philosophical Logic 47 (2017), 259–279, with G.K. Olkhovikov.

94. Disentangling FDE-based Paraconsistent Modal Logics, Studia Logica 105 (2017), 1221–1254, with S.P. Odintsov.

95. Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant, Studia Logica 105 (2017), 1193–1219, with N. Kamide and Y. Shramko.

96. Inference as Doxastic Agency. Part II: Ramifications and Refinements, Australasian Journal of Logic 14 (2017), 408–438, with G.K. Olkhovikov.

97. 97. A More General General Proof Theory, Journal of Applied Logic 25 (2017), 23–46.

98. 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.

99. Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic, Studia Logica 107 (2018), 167–194, with G.K. Olkhovikov.

100. 100. Negation as Cancellation, Connexive Logic, and qLPm, Australasian Journal of Logic 15 (2018), 476–488, with D. Skurt.

101. On Contra-classical Variants of Nelson logic N4 and its Classical Extension, Review of Symbolic Logic 11 (2018), 805–820, with H. Omori.

102. Connexive Conditional Logic. Part 1, Logic and Logical Philosophy 28 (2019), 567–610, with M. Unterhuber.

103. Simplified Tableaux for STIT Imagination Logic, Journal of Philosophical Logic 48 (2019), 981–1001, with G.K. Olkhovikov.

104. 104. On Definability of Connectives and Modal Logics over FDE, Logic and Logical Philosophy 28 (2019), 631–659, with S.P. Odintsov and D. Skurt.

105. 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.

106. Proof Systems for Various FDE-based Modal Logics, Review of Symbolic Logic 13 (2020), 720–747, with S.A. Drobyshevich.

107. An Extension of Connexive logic C, in: N. Olivetti et al. (eds), Advances in Modal Logic. Vol. 13, London, College Publications, 2020, 503–522, with H. Omori.

108. 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, Cham, 2021, 295–318, with S.P. Odintsov and D. Skurt.

109. Routley Star and Hyperintensionality, Journal of Philosophical Logic 50 (2021), 33–56, with S.P. Odintsov.

110. The Nature of Entailment: An Informational Approach, Synthese 198 (2021), 5241–526, 5263–5264, with Y. Shramko. 

111. 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. pdf

112. 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. pdf

113. A note on “A Connexive Conditional”, Logos & Episteme 13 (2022), 325-328, with H. Omori. pdf

114. Stit-logic for Imagination Episodes With Voluntary Input, Review of Symbolic Logic 16 (2023), 813–861, with Ch. Badura. pdf

115. On Synonymy in Proof-theoretic Semantics. The case of 2Int, Bulletin of the Section of Logic 52 (2023), 187–237, with S. Ayhan. pdf

116. On the Provable Contradictions of the Connexive Logics C and C3, Journal of Philosophical Logic 52 (2023), 1355–1383, with S. Niki. pdf

117. Logical Multilateralism, Journal of Philosophical Logic 52 (2023),1603–1636, with S. Ayhan. pdf

118. Remarks on Semantic Information and Logic. From Semantic Tetralateralism to the Pentalattice 65536_5, in: I. Sedlár (ed.), Logica Yearbook 2022, College Publications, London, 2023, 165–186. pdf

119. One Heresy and one Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic, Erkenntnis 89, 2024, 181–205. pdf

120. A Note on Synonymy in Proof-Theoretic Semantics, in: T. Piecha, K. Wehmeier (eds), Peter Schroeder-Heister on Proof-Theoretic Semantics, Springer, Cham, 2024, 339–362. pdf

121. Constructive Logic is Connexive and Contradictory, Logic and Logical Philosophy, published online January 02, 2024. doi: https://doi.org/10.12775/LLP.2024.001. pdf

122. Connexive Exclusion, Erkenntnis, published online August 27, 2024, doi: https://doi.org/10.1007/s10670-024-00842-3, with Y. Shramko. pdf

123. Quantifiers in Connexive Logic (in general and in particular), Logic Journal of the IGPL, published online October 30, 2024, doi: https://doi.org/10.1093/jigpal/jzae115, with Z. Weber. pdf

124. Substructural Negations as Normal Modal Operators, in: Y. Weiss and R. Birman (eds), Saul Kripke on Modal Logic, Outstanding Contributions to Logic 30, Springer, Cham, 2024, 365–388. 

125.  A Note on the Historiography of Pre-modern Connexive Logic, in: H. Omori and H. Wansing (eds), 60 Years of Connexive Logic, Springer, 2025, 1–22, with H. Omori. pdf

126. Another Generalization of Connexive Logic C, in: H. Omori and H. Wansing (eds), 60 Years of Connexive Logic, Springer, 2025, 225–240, with H. Omori. pdf

127. Ten Open Problems in Connexive Logic, in: H. Omori and H. Wansing (eds), 60 Years of Connexive Logic, 241–252, with H. Omori. pdf

128. Bi-connexive Logic, Bilateralism, and Negation Inconsistency, Review of Symbolic Logic, published online March 12, 2025. doi: https://doi.org/10.1017/S1755020324000248, with S. Niki and S. Drobyshevich. pdf

129. Theorems and Theories, 2025, submitted for publication.

130. Abelian Logic on the Bochum Plan (and the American Plan as well), 2025, to appear in Studia Logica, with S. Niki