Szukaj

Wyniki wyszukiwania

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

  Marcin Łyczak

  39-59

  21.07.2020
• Dynamic Epistemic Logic and Logical Omniscience

  Mattias Skipper Rasmussen

  377–399

  18.08.2015
• On Logical Characterisation of Human Concept Learning based on Terminological Systems

  Farshad Badie

  545-566

  24.07.2017
• Fibring Epistemic and Temporal Logics

  Krzysztof Aleksander Krawczyk

  195-199

  05.03.2019
• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  10.06.2019
• The Nature of Scientific Philosophy

  Yaroslav Shramko

  3-18

  12.07.2019
• Rational Agency from a Truth-Functional Perspective

  Ekaterina Kubyshkina, Dmitry V. Zaitsev

  499-520

  15.07.2016
• Classical mereology is not elementarily axiomatizable

  Andrzej Pietruszczak

  485-498

  22.08.2015
• Mereology and uncertainty

  Lech T. Polkowski

  449-468

  01.04.2015
• Representing concepts in formal ontologies. Compositionality vs. typicality effects

  Marcello Frixione, Antonio Lieto

  391–414

  20.12.2012
• Epistemic Erotetic Search Scenarios

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

  301-328

  26.07.2018
• False Re-Representations in Self-Knowledge

  Anita Pacholik-Żuromska

  463-481

  01.04.2020
• The Case of Dialetheism

  Marcin Tkaczyk

  203-224

  07.06.2016
• Either epistemicism or logic

  Piotr Łukowski

  329-351

  15.03.2009
• Interplays of knowledge and non-contingency

  Alexandre Costa-Leite

  521-534

  13.07.2016
• Game Semantics, Quantifiers and Logical Omniscience

  Bruno Ramos Mendonça

  557-578

  13.06.2022
• Incompleteness, constructivism and truth

  Fabrice Pataut

  63-76

  06.11.1998
• Richard Dietz and Sebastiano Moruzzi (eds.), "Cuts and Clouds: Vagueness, its Nature, and its Logic"

  Doroteya Angelova

  97–104

  15.03.2012
• Relating Semantics for Epistemic Logic

  Alessandro Giordani

  681-709

  28.12.2021
• Proof theory of epistemic logic of programs

  Paolo Maffezioli, Alberto Naibo

  301–328

  12.09.2013
• Justification logic, inference tracking, and data privacy

  Thomas Studer

  297-306

  20.12.2011