Constructive agents
type: Item
instance of: scholarly article
title: Constructive agents
zbMATH Open document ID: 1436.03117
published in: Indagationes Mathematicae. New Series
publication date: 2018-01-12T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6825017
author: Johan van Benthem
MaRDI profile type: Publication
full work available at URL: j.indag.2017.10.004
OpenAlex ID: W4210278025
cites work: THE LOGIC OF JUSTIFICATION
cites work: Axiomatic characterization of the AGM theory of belief revision in a temporal logic
cites work: Quick completeness proofs for some logics of conditionals
cites work: Q4287485
cites work: Q4845472
cites work: A polynomial translation of S4 into intuitionistic logic
cites work: Truth-maker semantics for intuitionistic logic
cites work: Q3107917
cites work: Q4698061
cites work: Descriptor revision. Belief change through direct choice
cites work: A Computational Learning Semantics for Inductive Empirical Knowledge
cites work: Ordering semantics and premise semantics for counterfactuals
cites work: Reasoning about preference dynamics.
cites work: Q3226736
cites work: A knowledge based semantics of messages
cites work: Q4805593
cites work: Reason to believe
cites work: Counterfactuals and updates as inverse modalities
cites work: Q4218019
cites work: Q3469091
cites work: Q4295869
cites work: The information in intuitionistic logic
cites work: Logical Dynamics of Information and Interaction
cites work: Dynamic logics of evidence-based beliefs
cites work: Constructivism in mathematics. An introduction. Volume I
DOI: 10.1016/J.INDAG.2017.10.004
description: scientific article; zbMATH DE number 6825017