Tracking information

DOI10.1007/978-3-319-29300-4_17MaRDI QIDQ3305434zbMATH OpenOpenAlexFDO

Authors Johan 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

informationlevellogictrackingupdate

Mathematics Subject Classification ID

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

Recommendations

• A characterization theorem for trackable updates
• scientific article; zbMATH DE number 5542889
• scientific article; zbMATH DE number 873168
• scientific article; zbMATH DE number 1537935
• Introduction: from information at large to semantics of logics

Cites work

• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• Changing a Semantics: Opportunism or Courage?
• Characterizations of negative definability in modal logic
• Combinators and structurally free logic
• Connexive modal logic based on positive S4
• Dynamic epistemic logic
• Dynamic Epistemic Logic as a Substructural Logic
• Dynamic logic of preference upgrade
• Dynamic logics of evidence-based beliefs
• Evidence logic: a new look at neighborhood structures
• General dynamic dynamic logic
• Handbook of process algebra
• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 1233702 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• Information Flow
• Information transfer across Chu spaces
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logic in games
• Logical dynamics of information and interaction
• Logics for epistemic programs
• Modal logic
• Modal logic and invariance
• Operators and Laws for Combining Preference Relations
• Proof theory. Sequent calculi and related formalisms
• Propositional reasoning that tracks probabilistic reasoning
• Reasoning about preference dynamics.
• Talking about knowledge
• The dynamics of awareness
• Truth-tracking by belief revision
• Unified correspondence

Cited in

(4)

• A characterization theorem for trackable updates
• Bisimulation for conditional modalities
• Rethinking epistemic logic with belief bases
• Modern faces of filtration

This page was built for publication: Tracking information

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305434)