Search

Search Results

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

  Marcin Łyczak

  39-59

  2020-07-21
• Dynamic Epistemic Logic and Logical Omniscience

  Mattias Skipper Rasmussen

  377–399

  2015-08-18
• On Logical Characterisation of Human Concept Learning based on Terminological Systems

  Farshad Badie

  545-566

  2017-07-24
• Fibring Epistemic and Temporal Logics

  Krzysztof Aleksander Krawczyk

  195-199

  2019-03-05
• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  2019-06-10
• The Nature of Scientific Philosophy

  Yaroslav Shramko

  3-18

  2019-07-12
• Rational Agency from a Truth-Functional Perspective

  Ekaterina Kubyshkina, Dmitry V. Zaitsev

  499-520

  2016-07-15
• Classical mereology is not elementarily axiomatizable

  Andrzej Pietruszczak

  485-498

  2015-08-22
• Mereology and uncertainty

  Lech T. Polkowski

  449-468

  2015-04-01
• Representing concepts in formal ontologies. Compositionality vs. typicality effects

  Marcello Frixione, Antonio Lieto

  391–414

  2012-12-20
• Epistemic Erotetic Search Scenarios

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

  301-328

  2018-07-26
• False Re-Representations in Self-Knowledge

  Anita Pacholik-Żuromska

  463-481

  2020-04-01
• The Case of Dialetheism

  Marcin Tkaczyk

  203-224

  2016-06-07
• Either epistemicism or logic

  Piotr Łukowski

  329-351

  2009-03-15
• Interplays of knowledge and non-contingency

  Alexandre Costa-Leite

  521-534

  2016-07-13
• Game Semantics, Quantifiers and Logical Omniscience

  Bruno Ramos Mendonça

  557-578

  2022-06-13
• Incompleteness, constructivism and truth

  Fabrice Pataut

  63-76

  1998-11-06
• Richard Dietz and Sebastiano Moruzzi (eds.), "Cuts and Clouds: Vagueness, its Nature, and its Logic"

  Doroteya Angelova

  97–104

  2012-03-15
• Relating Semantics for Epistemic Logic

  Alessandro Giordani

  681-709

  2021-12-28
• Proof theory of epistemic logic of programs

  Paolo Maffezioli, Alberto Naibo

  301–328

  2013-09-12
• Justification logic, inference tracking, and data privacy

  Thomas Studer

  297-306

  2011-12-20