Introspection as an action in relational models
From MaRDI portal
(Redirected from Publication:2011198)
Recommendations
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
(7)- Verification of dynamic bisimulation theorems in Coq
- Dynamic epistemic logics of introspection
- A complete axiomatisation for quantifier-free separation logic
- A logic for bounded multi-agent reasoning: deductive inference, introspection, and attribution
- Reasoning-based introspection
- Copy and remove as dynamic operators
- Topic-based communication between agents
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)
