Introspection as an action in relational models

DOI10.1016/J.JLAMP.2019.06.005MaRDI QIDQ2011198zbMATH OpenOpenAlexFDO

Authors 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

dynamic epistemic logicepistemic logicnegative introspectionpositive introspection

Mathematics Subject Classification ID

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

Recommendations

• Dynamic epistemic logics of introspection
• Reasoning-based introspection
• scientific article; zbMATH DE number 1529821
• scientific article
• Maximal introspection of agents

Cites work

• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3607998 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• A Note on Reliability-Based Preference Dynamics
• A knowledge based semantics of messages
• Arrow update logic
• Dynamic epistemic logic
• Dynamic epistemic logics of introspection
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Dynamic logics of evidence-based beliefs
• Eliminating ``converse from converse PDL
• Epistemic logic for rule-based agents
• Explaining games. The epistemic programme in game theory
• Explicit and implicit knowledge in neighbourhood models
• Global and local graph modifiers
• Independence of the dual axiom in modal \(\mathbf{K}\) with primitive
• Inexact knowledge with introspection
• Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
• Knowing that one knows and the classical definition of knowledge
• Logic in games
• Logical dynamics of information and interaction
• Logics of communication and change
• Mechanizing Mathematical Reasoning
• Modal logic
• Moorean phenomena in epistemic logic
• Moving Arrows and Four Model Checking Results
• On axiomatizations of public announcement logic
• Reasoning about information change
• Reasoning about rational, but not logically omniscient, agents
• Relation-changing modal operators
• Reliability-based preference dynamics: lexicographic upgrade
• Swap logic
• Syntactic awareness in logical dynamics
• The Dynamics of Syntactic Knowledge
• The dynamics of awareness
• The secret of my success
• The surprise examination in dynamic epistemic logic
• What one may come to know

Cited in

(5)

• Verification of dynamic bisimulation theorems in Coq
• A complete axiomatisation for quantifier-free separation logic
• Dynamic epistemic logics of introspection
• Reasoning-based introspection
• Copy and remove as dynamic operators

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)