Results 261 to 270 of about 132,694 (289)

Epistemic Sortal Logic

2019
A notion of an ideal sense of knowledge is introduced. A formal language for sortals with a propositional operator formally representing such a notion is then defined. The formal language will contain temporal operators as well. A formal semantics for the language is defined and on its basis three sorts of semantic validity are distinguished, which ...
openaire   +1 more source

Free Epistemic Logic

2001
In the course of the development of epistemic logic during the sixties and seventies practically no principle that had been proposed as an axiom for the logic of knowledge was spared from critical objections1. Perhaps the only unobjectionable principle consists in the common sense truism that false statements cannot be known to be true, or: P1 If some
openaire   +1 more source

Game description language and dynamic epistemic logic compared

Artificial Intelligence, 2021
Michael Thielscher
exaly  

Rethinking epistemic logic with belief bases

Artificial Intelligence, 2020
Emiliano Lorini
exaly  

Model checking epistemic–probabilistic logic using probabilistic interpreted systems

Knowledge-Based Systems, 2013
Jamal Bentahar
exaly  

Autoepistemic equilibrium logic and epistemic specifications

Artificial Intelligence, 2020
Andreas Herzig
exaly  

Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism

Journal of Philosophical Logic, 2014
Wesley Halcrow Holliday
exaly  

Epistemic Logic.

1995
openaire   +4 more sources

An Epistemic Strategy Logic

ACM Transactions on Computational Logic, 2018
Xiaowei Huang, Ron van der Meyden
exaly  

Inquisitive dynamic epistemic logic

SynthÈse, 2014
Floris Roelofsen
exaly