Search

Search Results

• Logical Forms, Substitutions and Information Types

  Vít Punčochář

  459-473

  2023-07-21
• Establishing Logical Forms What is assigned to what, how and why

  Jaroslav Peregrin, Vladimír Svoboda

  421-442

  2023-06-02
• Discrete linear temporal logic with current time point clusters, deciding algorithms

  V. Rybakov

  143-161

  2008-06-19
• Dynamic Probabilistic Entailment. Improving on Adams' Dynamic Entailment Relation

  Robert van Rooij, Patricia Mirabile

  359-384

  2021-12-23
• The algebraic face of minimality

  Frank Wolter

  225-240

  1998-11-06
• Converse Ackermann property and constructive negation defined with a negation connective

  Gemma Robles, José M. Méndez

  113-130

  2006-06-26
• Computability and human symbolic output

  Jason Megill, Tim Melvin

  391-401

  2014-04-30
• Is “being” predicated in only one sense, after all?

  Wojciech Żełaniec

  241-258

  1998-11-06
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

  2024-07-26
• Simplified Kripke style semantics for some very weak modal logics

  Andrzej Pietruszczak

  271-296

  2010-03-30
• A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States

  Piotr Kulicki, Robert Trypuz, Robert Craven, Marek J. Sergot

  583-617

  2023-06-02
• Ways of reference to Meinongian objects. Ontological commitments of Meinongian theories

  Jacek Paśniczek

  69-86

  2003-01-01
• On the logic of event causation. Part I. Fundamental reflections

  Uwe Scheffler

  129-155

  2003-01-01
• An Expressivist Strategy to Understand Logical Forms

  Giacomo Turbanti

  511-525

  2023-05-16
• Why topology in the minimalist foundation must be pointfree

  Maria Emilia Maietti, Giovanni Sambin

  167–199

  2013-06-12