Search

Search Results

• Erotetic Epistemic Logic

  Michal Peliš

  357-381

  2017-04-19
• Dynamic Epistemic Logic and Logical Omniscience

  Mattias Skipper Rasmussen

  377–399

  2015-08-18
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

  Marcin Łyczak

  39-59

  2020-07-21
• The Logical Burdens of Proof. Assertion and Hypothesis

  Daniele Chiffi, Fabien Schang

  509-530

  2017-04-14
• Fibring Epistemic and Temporal Logics

  Krzysztof Aleksander Krawczyk

  195-199

  2019-03-05
• Epistemic Erotetic Search Scenarios

  Paweł Łupkowski, Ondrej Majer, Michal Peliš, Mariusz Urbański

  301-328

  2018-07-26
• A Defeasible Calculus for Zetetic Agents

  Jared Millson

  3-37

  2020-10-11
• An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

  Damian E. Szmuc

  277-330

  2019-05-24
• Rational Agency from a Truth-Functional Perspective

  Ekaterina Kubyshkina, Dmitry V. Zaitsev

  499-520

  2016-07-15
• Some Formal Semantics for Epistemic Modesty

  Christopher Steinsvold

  381-413

  2020-02-08
• Leśniewski-quantifiers and modal arguments in legal discourse

  Burkhard Schäfer

  133-155

  1998-11-06
• Interplays of knowledge and non-contingency

  Alexandre Costa-Leite

  521-534

  2016-07-13
• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  2019-06-10
• Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems

  Tomasz Jarmużek, Francesco Paoli

  563-577

  2021-12-31
• Relating Semantics for Epistemic Logic

  Alessandro Giordani

  681-709

  2021-12-28
• Disjoint Logics

  Federico Pailos

  109-137

  2020-07-27
• A modal logic of information

  Krystyna Misiuna

  33–51

  2012-03-15
• Proof theory of epistemic logic of programs

  Paolo Maffezioli, Alberto Naibo

  301–328

  2013-09-12
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  2008-06-19
• Justification Logic and the Epistemic Contribution of Deduction

  Nancy Abigail Nuñez Hernández, Francisco Hernández-Quiroz

  381-402

  2024-03-04
• Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

  Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón

  615-648

  2024-11-07