Search

Search Results

• A Compositional Semantics for ‘Even If’ Conditionals

  Mathieu Vidal

  237-276

  2016-11-30
• Extension and Self-Connection

  Ben Blumson, Manikaran Singh

  435-459

  2021-05-18
• On Some Meta-Theoretic Topological Features of the Region Connection Calculus

  Nathaniel Gan

  639-669

  2023-04-06
• A Note on Gödel, Priest and Naïve Proof

  Massimiliano Carrara, Enrico Martino

  79-96

  2020-10-15
• Relevant Connexive Logic

  Nissim Francez

  409-425

  2019-01-31
• Space, points and mereology. On foundations of point-free Euclidean geometry

  Rafał Gruszczyński, Andrzej Pietruszczak

  145-188

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

  Marcin Łyczak

  39-59

  2020-07-21
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

  Aldo Figallo Orellano, Miguel Pérez-Gaspar, Everardo Bárcenas

  141-158

  2022-05-24
• Defining Measures in a Mereological Space (an exploratory paper)

  Giuseppina Barbieri, Giangiacomo Gerla

  57-74

  2021-10-01
• P-compatible Abelian groups

  Krystyna Mruczek-Nasieniewska

  253-263

  2005-12-23
• The notion of problem, intuitionism and partiality

  Pavel Materna

  287-303

  2009-03-15
• On the homogeneous countable Boolean contact algebra

  Ivo Düntsch, Sanjiang Li

  213–251

  2013-06-11
• Intuitionistic overlap structures

  Francesco Ciraulo

  201–212

  2013-06-11
• Are the future and the past really opacity-creating operators?

  Klaus Wuttich

  185-193

  2003-01-27
• Existence, the square of opposites, and two-dimensional logic

  Ingolf Max

  135-149

  2003-01-07