Introspection as an action in relational models

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

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

zbMATH Keywords

dynamic epistemic logicepistemic logicnegative introspectionpositive introspection

Mathematics Subject Classification ID

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

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)

• Verification of dynamic bisimulation theorems in Coq
• Copy and remove as dynamic operators
• Title not available (Why is that?)

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)