Szukaj

Wyniki wyszukiwania

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

  Marcin Tkaczyk, Tomasz Jarmużek

  259-276

  23.09.2018
• On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach

  Tomasz Jarmużek, Mateusz Klonowski

  335-380

  26.06.2020
• Dialogue Games for Minimal Logic

  Alexandra Pavlova

  281-309

  10.11.2020
• On Definability of Connectives and Modal Logics over FDE

  Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

  631-659

  11.04.2019
• Connexive Conditional Logic. Part I

  Heinrich Wansing, Matthias Unterhuber

  567-610

  28.12.2018
• Supervenience, Dependence, Disjunction

  Lloyd Humberstone

  3-135

  29.05.2018
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

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

  Alexander Karpenko, Natalya Tomova

  207-235

  21.10.2016
• Erotetic Epistemic Logic

  Michal Peliš

  357-381

  19.04.2017
• Trivial Dialetheism and the Logic of Paradox

  Jean-Yves Beziau

  51-56

  09.12.2015
• An Introduction to the Special Issue on Logic, Cognition and Argumentation

  Mariusz Urbański, Michiel van Lambalgen, Marcin Koszowy

  417-419

  14.11.2018
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

  Marcin Łyczak

  39-59

  21.07.2020
• Normalisation for Some Quite Interesting Many-Valued Logics

  Nils Kürbis, Yaroslav Petrukhin

  493-534

  16.06.2021
• Fibring Epistemic and Temporal Logics

  Krzysztof Aleksander Krawczyk

  195-199

  05.03.2019
• Dynamic Epistemic Logic and Logical Omniscience

  Mattias Skipper Rasmussen

  377–399

  18.08.2015
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

  26.07.2016
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020
• Neighborhood Semantics for Basic and Intuitionistic Logic

  Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

  339–355

  20.08.2015
• A spurious confusion in temporal logic

  Marcin Tkaczyk

  201–216

  02.12.2014
• Connexive Extensions of Regular Conditional Logic

  Yale Weiss

  611-627

  16.08.2018
• Natural Deduction for Three-Valued Regular Logics

  Yaroslav Petrukhin

  197-206

  29.08.2016