Search

Search Results

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

  Marcin Tkaczyk, Tomasz Jarmużek

  259-276

  2018-09-23
• On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach

  Tomasz Jarmużek, Mateusz Klonowski

  335-380

  2020-06-26
• Dialogue Games for Minimal Logic

  Alexandra Pavlova

  281-309

  2020-11-10
• On Definability of Connectives and Modal Logics over FDE

  Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

  631-659

  2019-04-11
• Connexive Conditional Logic. Part I

  Heinrich Wansing, Matthias Unterhuber

  567-610

  2018-12-28
• Supervenience, Dependence, Disjunction

  Lloyd Humberstone

  3-135

  2018-05-29
• Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence

  Alexander Karpenko, Natalya Tomova

  207-235

  2016-10-21
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

  2019-07-18
• Erotetic Epistemic Logic

  Michal Peliš

  357-381

  2017-04-19
• Trivial Dialetheism and the Logic of Paradox

  Jean-Yves Beziau

  51-56

  2015-12-09
• An Introduction to the Special Issue on Logic, Cognition and Argumentation

  Mariusz Urbański, Michiel van Lambalgen, Marcin Koszowy

  417-419

  2018-11-14
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

  Marcin Łyczak

  39-59

  2020-07-21
• Normalisation for Some Quite Interesting Many-Valued Logics

  Nils Kürbis, Yaroslav Petrukhin

  493-534

  2021-06-16
• Fibring Epistemic and Temporal Logics

  Krzysztof Aleksander Krawczyk

  195-199

  2019-03-05
• Dynamic Epistemic Logic and Logical Omniscience

  Mattias Skipper Rasmussen

  377–399

  2015-08-18
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

  2016-07-26
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  2020-10-08
• Neighborhood Semantics for Basic and Intuitionistic Logic

  Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

  339–355

  2015-08-20
• A spurious confusion in temporal logic

  Marcin Tkaczyk

  201–216

  2014-12-02
• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

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

  Yaroslav Petrukhin

  197-206

  2016-08-29