Constructive agents

DOI10.1016/j.indag.2017.10.004zbMath1436.03117OpenAlexW4210278025MaRDI QIDQ1688949

J. F. A. K. van Benthem

Publication date: 12 January 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2017.10.004

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)

Modal information logics: axiomatizations and decidability ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth-maker semantics for intuitionistic logic
• Reasoning about preference dynamics.
• Dynamic logics of evidence-based beliefs
• Quick completeness proofs for some logics of conditionals
• The information in intuitionistic logic
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• Ordering semantics and premise semantics for counterfactuals
• Constructivism in mathematics. An introduction. Volume I
• Counterfactuals and updates as inverse modalities
• A knowledge based semantics of messages
• Reason to believe
• Descriptor revision. Belief change through direct choice
• Logical Dynamics of Information and Interaction
• A polynomial translation of S4 into intuitionistic logic
• THE LOGIC OF JUSTIFICATION
• A Computational Learning Semantics for Inductive Empirical Knowledge

This page was built for publication: Constructive agents