Syntactic awareness in logical dynamics
From MaRDI portal
Publication:513899
DOI10.1007/S11229-015-0733-1zbMath1357.03047OpenAlexW1981729336WikidataQ62045411 ScholiaQ62045411MaRDI QIDQ513899
Davide Grossi, Fernando Raymundo Velázquez-Quesada
Publication date: 8 March 2017
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-015-0733-1
Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)
Related Items (2)
An Abstract Look at Awareness Models and Their Dynamics ⋮ Introspection as an action in relational models
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On axiomatizations of public announcement logic
- The interrogative model of inquiry meets dynamic epistemic logics
- The dynamics of awareness
- Toward a dynamic logic of questions
- Alternative semantics for unawareness
- Interactive unawareness
- Dynamic epistemic logic
- Awareness dynamics
- Epistemic logic for rule-based agents
- Inference and update
- Belief, awareness, and limited reasoning
- Unawareness and partitional information structures
- Awareness and partitional information structures
- Reasoning about information change
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Dynamic epistemic logic for implicit and explicit beliefs
- Logics of public communications
- Interactive unawareness revisited
- Public Announcements for Non-omniscient Agents
- Epistemology Without Knowledge and Without Belief
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Becoming Aware of Propositional Variables
- Logical Dynamics of Information and Interaction
- Introducing Justification into Epistemic Logic
- Reasoning about rational, but not logically omniscient, agents
- The Ceteris Paribus Structure of Logics of Game Forms
This page was built for publication: Syntactic awareness in logical dynamics
