Results 131 to 140 of about 3,397 (165)
Some of the next articles are maybe not open access.
Persistence and Minimality in Epistemic Logic
Annals of Mathematics and Artificial Intelligence, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Elias Thijsse +2 more
openaire +8 more sources
Temporalizing Epistemic Default Logic
Journal of Logic, Language and Information, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jan Treur +2 more
openaire +6 more sources
Skepticism and Epistemic Logic
Studia Logica, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Synthese, 2004
We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs.
Lawrence S. Moss, Alexandru Baltag
openaire +1 more source
We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs.
Lawrence S. Moss, Alexandru Baltag
openaire +1 more source
An intensional epistemic logic
Studia Logica, 1993A quantified multi-modal logic with equality is defined, where terms get additional markers. These markers are integers and denote the nesting depths of the term within the modal context. In an appropriately extended Kripke semantics for the logic, these markers can be used to record the world where the term has to be evaluated, even if it occurs in ...
openaire +3 more sources
2015
We define an Epistemic Separation Logic, called ESL, that allows us to consider epistemic possible worlds as resources that can be shared or separated, in the spirit of separation logics. After studying the semantics and the expressiveness of this logic, we provide a tableau calculus with labels and resource contraints that is sound and complete and ...
Didier Galmiche +5 more
openaire +2 more sources
We define an Epistemic Separation Logic, called ESL, that allows us to consider epistemic possible worlds as resources that can be shared or separated, in the spirit of separation logics. After studying the semantics and the expressiveness of this logic, we provide a tableau calculus with labels and resource contraints that is sound and complete and ...
Didier Galmiche +5 more
openaire +2 more sources
Epistemic logic and logical omniscience: A survey
International Journal of Intelligent Systems, 1997Reasoning about knowledge and belief has been investigated from the points of view of philosophy, game theory, distributed systems, and artificial intelligence. A formal framework for an investigation of reasoning about knowledge and belief is provided by epistemic logic.
openaire +3 more sources
Infinitary S5‐Epistemic Logic [PDF]
Mathematical 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 +3 more sources
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
On alternatives in epistemic logic [PDF]
Journal of Philosophical Logic, 1973 Nicholas Rescher, Arnold Vander Nat
openaire +2 more sources