Search

Search Results

• Patterns of scientific reasoning: An introduction

  Erik Weber

  3-5

  2005-06-23
• A formal theory of physical necessity

  Marcin Tkaczyk

  65-83

  2007-07-25
• Axiomatization of BLRI Determined by Limited Positive Relational Properties

  Tomasz Jarmużek, Mateusz Klonowski

  1-29

  2022-01-30
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  2021-12-16
• A norm-giver meets deontic action logic

  Robert Trypuz, Piotr Kulicki

  59–72

  2011-06-30
• The Rule of Existential Generalisation and Explicit Substitution

  Jiří Raclavský

  105-141

  2021-10-10
• Set-theoretic mereology

  Joel David Hamkins, Makoto Kikuchi

  285-308

  2016-05-16
• Towards intuitionistic dynamic logic

  J. W. Degen, J. M. Werner

  305-324

  2007-03-15
• Are the future and the past really opacity-creating operators?

  Klaus Wuttich

  185-193

  2003-01-27
• Interpolation and implicit definability in extensions of the provability logic

  Larisa Maksimova

  129-142

  2008-06-19
• Incorporating the Relation into the Language? A Survey of Approaches in Relating Logic

  Luis Estrada-González, Alessandro Giordani, Tomasz Jarmużek, Mateusz Klonowski, Igor Sedlár, Andrew Tedder

  711-739

  2021-11-28
• Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

  Tomasz Jarmużek

  85-101

  2007-07-25
• Process in Reality: A logical offering

  Joseph E. Brenner

  165-202

  2005-12-23
• Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

  José M. Méndez, Gemma Robles

  175-191

  2007-03-15
• Either epistemicism or logic

  Piotr Łukowski

  329-351

  2009-03-15
• The true bisimulations for 'since' and 'until'

  Holger Sturm

  173–183

  2004-01-19
• Compositionality is not the problem

  Wilfrid Hodges

  7-33

  1998-11-06
• Guest editors’ introduction

  Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli

  5-6

  2010-06-30
• An addendum to: “Notes on models of first-order mereological theories”

  Hsing-chien Tsai

  483

  2015-12-12
• Logics for Knowability

  Mo Liu, Jie Fan, Hans van Ditmarsch, Louwe B. Kuijer

  385-426

  2021-12-08
• On Logical Characterisation of Human Concept Learning based on Terminological Systems

  Farshad Badie

  545-566

  2017-07-24