Constructive belief reports

DOI10.1007/s11229-014-0540-0zbMath1372.03033OpenAlexW2070472583MaRDI QIDQ514084

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

constructive type theoryproof-theoretic semanticsbelief 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)

Related Items (2)

Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
• Lectures on the Curry-Howard isomorphism
• Associative substitutional semantics and quantified modal logic
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Proof-theoretic semantics for subsentential phrases
• Constructivism in mathematics. An introduction. Volume I
• Hyperintensional logic
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Refinements of subatomic natural deduction
• RULES FOR SUBATOMIC DERIVATION
• Proof-Theoretic Semantics for a Natural Language Fragment
• Hyperintensions

This page was built for publication: Constructive belief reports