Search

Search Results

• Jerzy Łoś Positional Calculus and the Origin of Temporal Logic

  Marcin Tkaczyk, Tomasz Jarmużek

  259-276

  2018-09-23
• On Definability of Connectives and Modal Logics over FDE

  Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

  631-659

  2019-04-11
• Dialogue Games for Minimal Logic

  Alexandra Pavlova

  281-309

  2020-11-10
• Connexive Conditional Logic. Part I

  Heinrich Wansing, Matthias Unterhuber

  567-610

  2018-12-28
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

  2019-07-18
• Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence

  Alexander Karpenko, Natalya Tomova

  207-235

  2016-10-21
• Supervenience, Dependence, Disjunction

  Lloyd Humberstone

  3-135

  2018-05-29
• Erotetic Epistemic Logic

  Michal Peliš

  357-381

  2017-04-19
• Normalisation for Some Quite Interesting Many-Valued Logics

  Nils Kürbis, Yaroslav Petrukhin

  493-534

  2021-06-16
• An Introduction to the Special Issue on Logic, Cognition and Argumentation

  Mariusz Urbański, Michiel van Lambalgen, Marcin Koszowy

  417-419

  2018-11-14
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

  2016-07-26
• Natural Deduction for Three-Valued Regular Logics

  Yaroslav Petrukhin

  197-206

  2016-08-29
• Epistemic Erotetic Search Scenarios

  Paweł Łupkowski, Ondrej Majer, Michal Peliš, Mariusz Urbański

  301-328

  2018-07-26
• A spurious confusion in temporal logic

  Marcin Tkaczyk

  201–216

  2014-12-02
• Natural Deduction for Four-Valued both Regular and Monotonic Logics

  Yaroslav Petrukhin

  53-66

  2017-01-31
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  2020-10-08
• Logic of Social Ontology and Łoś’s Operator

  Jacek Malinowski, Krzysztof Pietrowicz, Joanna Szalacha-Jarmużek

  239-258

  2020-02-25
• Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

  Moritz Cordes, Friedrich Reinmuth

  163-196

  2017-02-02
• Sorites, Curry and Suitable Models

  Bruno Da Ré, Paula Teijeiro

  593-614

  2020-02-28
• Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

  Daniel Rönnedal

  3-52

  2017-05-01
• Rational Agency from a Truth-Functional Perspective

  Ekaterina Kubyshkina, Dmitry V. Zaitsev

  499-520

  2016-07-15