Introspection as an action in relational models

DOI10.1016/j.jlamp.2019.06.005zbMath1435.03035OpenAlexW2955303974MaRDI QIDQ2011198

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

zbMATH Keywords

epistemic logicdynamic epistemic logicnegative introspectionpositive introspection

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (3)

Verification of dynamic bisimulation theorems in Coq ⋮ Unnamed Item ⋮ Copy and remove as dynamic operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On axiomatizations of public announcement logic
• Syntactic awareness in logical dynamics
• The dynamics of awareness
• Dynamic logics of evidence-based beliefs
• The secret of my success
• Logics of communication and change
• The surprise examination in dynamic epistemic logic
• Dynamic epistemic logic
• Explaining games. The epistemic programme in game theory
• Epistemic logic for rule-based agents
• Reasoning about information change
• A knowledge based semantics of messages
• Dynamic epistemic logics of introspection
• Independence of the dual axiom in modal \(\mathbf{K}\) with primitive
• Eliminating ``converse from converse PDL
• Inexact knowledge with introspection
• Knowing that one knows and the classical definition of knowledge
• Explicit and Implicit Knowledge in Neighbourhood Models
• Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
• Moving Arrows and Four Model Checking Results
• Logical Dynamics of Information and Interaction
• ARROW UPDATE LOGIC
• The Dynamics of Syntactic Knowledge
• A Note on Reliability-Based Preference Dynamics
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Reasoning about rational, but not logically omniscient, agents
• Reliability-based preference dynamics: lexicographic upgrade
• Relation-changing modal operators: Fig. 1.
• What one may come to know
• Global and Local Graph Modifiers
• Swap logic
• Mechanizing Mathematical Reasoning

This page was built for publication: Introspection as an action in relational models