Results 241 to 250 of about 132,694 (289)

Infinitary S5‐Epistemic Logic [PDF]

open access: possibleMathematical Logic Quarterly, 1997
AbstractIt is known that a theory in S5‐epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas.
openaire   +2 more sources

Intuitionistic Logic As Epistemic Logic

Synthese, 2001
Is intuitionism a variant of constructivism? If intuitionism is not constructivism, what is it? What do the intuitions of the genuine intuitionists add up to? Are their intentions reflected faithfully in Heyting's intuitionistic logic? What is the epistemic logic like, in which the distinction can be made and in which the correctly understood claims of
openaire   +1 more source

Temporalizing Epistemic Default Logic

Journal of Logic, Language and Information, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
van der Hoek, W.   +2 more
openaire   +5 more sources

Free Quantified Epistemic Logics

Studia Logica, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CORSI, GIOVANNA, ORLANDELLI, EUGENIO
openaire   +3 more sources

Epistemic logic

2018
Modern treatment of epistemic logic began in the 1950s when some philosophers noticed (as scholastics had done before them) certain regularities in the logical behaviour of the concept of knowledge (for example, that knowing a conjunction is equivalent to knowing all its conjuncts) and began to systematize them.
Jaakko Hintikka, Ilpo Halonen
openaire   +1 more source

Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Home - About - Disclaimer - Privacy