Szukaj

Wyniki wyszukiwania

• Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

  Moritz Cordes, Friedrich Reinmuth

  163-196

  02.02.2017
• Time and Physical Geometry. A Formalization of Putnam’s Proof

  Jan Czerniawski

  97-114

  17.06.2019
• Fregean Description Theory in Proof-Theoretical Setting

  Andrzej Indrzejczak

  137-155

  17.06.2018
• Logic of Social Ontology and Łoś’s Operator

  Jacek Malinowski, Krzysztof Pietrowicz, Joanna Szalacha-Jarmużek

  239-258

  25.02.2020
• Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

  Ahmad Karimi

  753-765

  14.06.2019
• Erotetic Epistemic Logic

  Michal Peliš

  357-381

  19.04.2017
• Free Definite Description Theory – Sequent Calculi and Cut Elimination

  Andrzej Indrzejczak

  505-539

  30.10.2020
• Hypersequent Calculi for S5: The Methods of Cut Elimination

  Kaja Bednarska, Andrzej Indrzejczak

  277–311

  25.08.2015
• Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

  Torben Braüner

  415-445

  17.02.2020
• Logical Form, Conditionals, Pseudo-Conditionals

  Andrea Iacona

  145-162

  22.01.2024
• Logical Forms: Validity and Variety of Formalizations

  Georg Brun

  341-361

  20.07.2023
• Making use of logic

  Max Urchs

  197-207

  06.11.1998
• A systematics of deontic action logics based on Boolean algebra

  Robert Trypuz, Piotr Kulicki

  253-270

  30.03.2010
• Some remarks on formal description of God's omnipotence

  Kordula Świętorzecka

  307-315

  20.11.2011
• Syntactic properties of p-consequence

  Szymon Frankowski

  285-295

  20.12.2011
• Paranormal modal logic – Part I. The system K? and the foundations of the logic of skeptical and credulous plausibility

  Ricardo Sousa Silvestre

  65–95

  15.03.2012
• Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems

  Ricardo Sousa Silvestre

  89-130

  30.03.2013
• Game Semantics, Quantifiers and Logical Omniscience

  Bruno Ramos Mendonça

  557-578

  13.06.2022
• Some answers to Max Urchs’ comments on a paper by A. Bressan

  Aldo Bressan

  123-131

  27.01.2003