Search

Search Results

• 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
• Literal and Controllable Paraconsistency

  Janusz Ciuciura

  561-579

  2024-11-02
• Axiomatization of BLRI Determined by Limited Positive Relational Properties

  Tomasz Jarmużek, Mateusz Klonowski

  1-29

  2022-01-30
• Derivability of rules from rule complexes

  Anna Gomolińska

  21–44

  2004-01-19
• On Brouwer’s criticism of classical logic and mathematics

  Tomasz Placek

  19-33

  2003-10-27
• A Completeness Theorem for a Functionally Complete Łukasiewicz Logic

  Víctor Aranda

  1-12

  2025-08-28
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  2013-09-18