Introspection as an action in relational models
type: Item
instance of: scholarly article
title: Introspection as an action in relational models
zbMATH Open document ID: 1435.03035
author: Raul Fervari
author: Fernando Raymundo Velázquez-Quesada
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2019-11-28T00:00:00Z
Mathematics Subject Classification ID: 03B42
zbMATH DE Number: 7138306
zbMATH Keywords: positive introspection
zbMATH Keywords: negative introspection
zbMATH Keywords: epistemic logic
zbMATH Keywords: dynamic epistemic logic
MaRDI profile type: Publication
full work available at URL: j.jlamp.2019.06.005
OpenAlex ID: W2955303974
cites work: Q4845472
cites work: Q4858037
cites work: Explaining games. The epistemic programme in game theory
cites work: Q5404483
cites work: Inexact knowledge with introspection
cites work: Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
cites work: Knowing that one knows and the classical definition of knowledge
cites work: What one may come to know
cites work: The surprise examination in dynamic epistemic logic
cites work: Reasoning about rational, but not logically omniscient, agents
cites work: The Dynamics of Syntactic Knowledge
cites work: Epistemic logic for rule-based agents
cites work: The dynamics of awareness
cites work: Syntactic awareness in logical dynamics
cites work: Dynamic logics of evidence-based beliefs
cites work: Explicit and Implicit Knowledge in Neighbourhood Models
cites work: Q4525781
cites work: A knowledge based semantics of messages
cites work: Dynamic epistemic logic
cites work: Logical Dynamics of Information and Interaction
cites work: Global and Local Graph Modifiers
cites work: Logics of communication and change
cites work: Dynamic logic for belief revision
cites work: Dynamic logic of preference upgrade
cites work: A Note on Reliability-Based Preference Dynamics
cites work: Reliability-based preference dynamics: lexicographic upgrade
cites work: Mechanizing Mathematical Reasoning
cites work: Moving Arrows and Four Model Checking Results
cites work: Swap logic
cites work: Relation-changing modal operators: Fig. 1.
cites work: ARROW UPDATE LOGIC
cites work: Dynamic epistemic logics of introspection
cites work: Q3867808
cites work: Modal logic
cites work: Independence of the dual axiom in modal \(\mathbf{K}\) with primitive
cites work: Eliminating ``converse'' from converse PDL
cites work: Q3246315
cites work: Q4173344
cites work: Q4342094
cites work: On axiomatizations of public announcement logic
cites work: Reasoning about information change
cites work: The secret of my success
cites work: Moorean phenomena in epistemic logic
DOI: 10.1016/J.JLAMP.2019.06.005
description: scientific article; zbMATH DE number 7138306