Constructive belief reports

DOI10.1007/S11229-014-0540-0MaRDI QIDQ514084zbMATH OpenOpenAlexFDO

Authors Bartosz Więckowski

Publication date 8 March 2017

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-014-0540-0

zbMATH Keywords

proof-theoretic semanticsconstructive type theorybelief reportshyperintensionalitypropositional attitudestype-theoretical semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 1301805
• scientific article; zbMATH DE number 140382
• Modeling and Using Context
• Updating confidence in beliefs
• scientific article; zbMATH DE number 1163999
• Belief affirming in learning processes
• scientific article; zbMATH DE number 3304062
• Belief and contextual acceptance
• scientific article; zbMATH DE number 4050728
• Eliciting beliefs

Cites work

• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 1301807 (Why is no real title available?)
• scientific article; zbMATH DE number 1302061 (Why is no real title available?)
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
• Associative substitutional semantics and quantified modal logic
• Constructivism in mathematics. An introduction. Volume I
• Hyperintensional logic
• Hyperintensions
• Lectures on the Curry-Howard isomorphism
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Refinements of subatomic natural deduction
• Rules for subatomic derivation

Cited in

(6)

• Algorithmic theories of problems. A constructive and a non-constructive approach
• Type-theoretical dynamics exploring belief revision in a constructive framework
• Judgement, belief and acceptance
• Assertion and grounding: a theory of assertion for constructive type theory
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• R. M. Martin's logic of belief

This page was built for publication: Constructive belief reports

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