Tracking Information

DOI10.1007/978-3-319-29300-4_17zbMath1439.03042OpenAlexW4238981507MaRDI QIDQ3305434

J. F. A. K. van Benthem

Publication date: 7 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_17

zbMATH Keywords

trackinginformationlogicupdatelevel

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

Bisimulation for conditional modalities ⋮ Rethinking epistemic logic with belief bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dynamics of awareness
• Reasoning about preference dynamics.
• Dynamic logics of evidence-based beliefs
• Dynamic epistemic logic
• Characterizations of negative definability in modal logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Propositional reasoning that tracks probabilistic reasoning
• Truth-tracking by belief revision
• Logics for epistemic programs
• Logical Dynamics of Information and Interaction
• Talking About Knowledge
• Changing a Semantics: Opportunism or Courage?
• Modal logic and invariance
• Dynamic logic of preference upgrade
• Information Flow
• Operators and Laws for Combining Preference Relations
• Combinators and structurally free logic
• Information transfer across Chu spaces
• Dynamic Epistemic Logic as a Substructural Logic
• Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras
• Unified Correspondence
• Proof Theory

This page was built for publication: Tracking Information