Introspection as an action in relational models
From MaRDI portal
Publication:2011198
DOI10.1016/J.JLAMP.2019.06.005zbMATH Open1435.03035OpenAlexW2955303974MaRDI QIDQ2011198FDOQ2011198
Raul Fervari, Fernando Raymundo Velázquez-Quesada
Publication date: 28 November 2019
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2019.06.005
Recommendations
Cites Work
- Reasoning about information change
- Modal logic
- Moorean phenomena in epistemic logic
- ARROW UPDATE LOGIC
- The secret of my success
- Logics of communication and change
- Logical Dynamics of Information and Interaction
- Title not available (Why is that?)
- Dynamic logic for belief revision
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dynamic logic of preference upgrade
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dynamic epistemic logic
- On axiomatizations of public announcement logic
- What one may come to know
- Title not available (Why is that?)
- Dynamic logics of evidence-based beliefs
- Explaining games. The epistemic programme in game theory
- Mechanizing Mathematical Reasoning
- The dynamics of awareness
- Inexact knowledge with introspection
- A knowledge based semantics of messages
- A Note on Reliability-Based Preference Dynamics
- Epistemic logic for rule-based agents
- The Dynamics of Syntactic Knowledge
- Reasoning about rational, but not logically omniscient, agents
- Syntactic awareness in logical dynamics
- Relation-changing modal operators: Fig. 1.
- Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
- The surprise examination in dynamic epistemic logic
- Title not available (Why is that?)
- Global and Local Graph Modifiers
- Dynamic epistemic logics of introspection
- Independence of the dual axiom in modal \(\mathbf{K}\) with primitive
- Eliminating ``converse from converse PDL
- Knowing that one knows and the classical definition of knowledge
- Explicit and Implicit Knowledge in Neighbourhood Models
- Moving Arrows and Four Model Checking Results
- Reliability-based preference dynamics: lexicographic upgrade
- Swap logic
Cited In (3)
This page was built for publication: Introspection as an action in relational models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011198)