Szukaj

Wyniki wyszukiwania

• Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

  Ahmad Karimi

  753-765

  14.06.2019
• Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

  Moritz Cordes, Friedrich Reinmuth

  163-196

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

  Andrzej Indrzejczak

  505-539

  30.10.2020
• Boolean Connexive Logics: Semantics and tableau approach

  Tomasz Jarmużek, Jacek Malinowski

  427-448

  27.01.2019
• Theorem proving with built-in hybrid theories

  Uwe Petermann

  77-107

  06.11.1998
• Interactive logic in the middle ages

  Sara L. Uckelman

  439–471

  20.12.2012
• Applications of Relating Semantics From non-classical logics to philosophy of science

  Tomasz Jarmużek, Francesco Paoli

  1-17

  30.01.2022
• Relating Semantics for Epistemic Logic

  Alessandro Giordani

  681-709

  28.12.2021
• Local applications of logics via model-theoretic interpretations

  Carlos Benito-Monsalvo

  535-556

  09.07.2022
• Modal Hybrid Logic

  Andrzej Indrzejczak

  147-257

  25.08.2007
• The Rule of Existential Generalisation and Explicit Substitution

  Jiří Raclavský

  105-141

  10.10.2021
• Logic as applied Mathematics – with Particular Application to the Notion of Logical Form

  Graham Priest

  443-457

  25.04.2023
• Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility

  Daniela Glavaničová, Matteo Pascucci

  653-679

  27.12.2021
• A Misleading Triviality Argument in the Theory of Conditionals

  Anna Wójtowicz, Krzysztof Wójtowicz

  349-380

  04.05.2024