Szukaj

Wyniki wyszukiwania

• Erotetic Epistemic Logic

  Michal Peliš

  357-381

  19.04.2017
• Dynamic Epistemic Logic and Logical Omniscience

  Mattias Skipper Rasmussen

  377–399

  18.08.2015
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

  Marcin Łyczak

  39-59

  21.07.2020
• The Logical Burdens of Proof. Assertion and Hypothesis

  Daniele Chiffi, Fabien Schang

  509-530

  14.04.2017
• Fibring Epistemic and Temporal Logics

  Krzysztof Aleksander Krawczyk

  195-199

  05.03.2019
• Epistemic Erotetic Search Scenarios

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

  301-328

  26.07.2018
• A Defeasible Calculus for Zetetic Agents

  Jared Millson

  3-37

  11.10.2020
• An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

  Damian E. Szmuc

  277-330

  24.05.2019
• Rational Agency from a Truth-Functional Perspective

  Ekaterina Kubyshkina, Dmitry V. Zaitsev

  499-520

  15.07.2016
• Some Formal Semantics for Epistemic Modesty

  Christopher Steinsvold

  381-413

  08.02.2020
• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  10.06.2019
• Leśniewski-quantifiers and modal arguments in legal discourse

  Burkhard Schäfer

  133-155

  06.11.1998
• Interplays of knowledge and non-contingency

  Alexandre Costa-Leite

  521-534

  13.07.2016
• Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems

  Tomasz Jarmużek, Francesco Paoli

  563-577

  31.12.2021
• Relating Semantics for Epistemic Logic

  Alessandro Giordani

  681-709

  28.12.2021
• Disjoint Logics

  Federico Pailos

  109-137

  27.07.2020
• A modal logic of information

  Krystyna Misiuna

  33–51

  15.03.2012
• Proof theory of epistemic logic of programs

  Paolo Maffezioli, Alberto Naibo

  301–328

  12.09.2013
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  19.06.2008
• Justification Logic and the Epistemic Contribution of Deduction

  Nancy Abigail Nunez Hernandez, Francisco Hernández-Quiroz

  381-402

  04.03.2024
• Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

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

  615-648

  07.11.2024