Constructive belief reports
type: Item
instance of: scholarly article
title: Constructive belief reports
zbMATH Open document ID: 1372.03033
author: Bartosz Więckowski
published in: Synthese
publication date: 2017-03-08T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 6693080
zbMATH Keywords: belief reports
zbMATH Keywords: constructive type theory
zbMATH Keywords: hyperintensionality
zbMATH Keywords: proof-theoretic semantics
zbMATH Keywords: propositional attitudes
zbMATH Keywords: type-theoretical semantics
MaRDI profile type: Publication
full work available at URL: s11229-014-0540-0
OpenAlex ID: W2070472583
cites work: Hyperintensional logic
cites work: Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
cites work: Proof-Theoretic Semantics for a Natural Language Fragment
cites work: Proof-theoretic semantics for subsentential phrases
cites work: Q3688389
cites work: Q4360856
cites work: Q4247306
cites work: Q4247025
cites work: Q3999860
cites work: Hyperintensions
cites work: Q4843182
cites work: Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
cites work: Lectures on the Curry-Howard isomorphism
cites work: Q4499084
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Associative substitutional semantics and quantified modal logic
cites work: RULES FOR SUBATOMIC DERIVATION
cites work: A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
cites work: Refinements of subatomic natural deduction
DOI: 10.1007/S11229-014-0540-0
Recommended article: Q4247023
Recommended article: Q4028789
Recommended article: Modeling and Using Context
Recommended article: Updating confidence in beliefs
Recommended article: Q4395626
Recommended article: Belief affirming in learning processes
Recommended article: Q5585417
Recommended article: Belief and contextual acceptance
Recommended article: Q3787272
Recommended article: Eliciting beliefs
description: scientific article; zbMATH DE number 6693080