Constructive agents

DOI10.1016/J.INDAG.2017.10.004MaRDI QIDQ1688949zbMATH OpenOpenAlexFDO

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

Recommendations

• Logic, mathematics, and general agency
• Intuitionistic logic as epistemic logic
• Implicit epistemic aspects of constructive logic
• scientific article; zbMATH DE number 16511
• From a Brouwerian Point of View

Cites work

• scientific article; zbMATH DE number 3112788 (Why is no real title available?)
• scientific article; zbMATH DE number 4135922 (Why is no real title available?)
• scientific article; zbMATH DE number 1222488 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 589737 (Why is no real title available?)
• scientific article; zbMATH DE number 754675 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A computational learning semantics for inductive empirical knowledge
• A knowledge based semantics of messages
• A polynomial translation of S4 into intuitionistic logic
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• Constructivism in mathematics. An introduction. Volume I
• Counterfactuals and updates as inverse modalities
• Descriptor revision. Belief change through direct choice
• Dynamic logics of evidence-based beliefs
• Knowledge in flux. Modeling the dynamics of epistemic states
• Logical dynamics of information and interaction
• Ordering semantics and premise semantics for counterfactuals
• Quick completeness proofs for some logics of conditionals
• Reason to believe
• Reasoning about preference dynamics.
• The information in intuitionistic logic
• The logic of justification
• Truth-maker semantics for intuitionistic logic

Cited in

(5)

• Active agents
• Modal information logics: axiomatizations and decidability
• Logic, mathematics, and general agency
• Local fact change logic
• Plans and planning in mathematical proofs

This page was built for publication: Constructive agents

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