Constructive belief reports
From MaRDI portal
Publication:514084
DOI10.1007/s11229-014-0540-0zbMath1372.03033OpenAlexW2070472583MaRDI QIDQ514084
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
constructive type theoryproof-theoretic semanticsbelief reportshyperintensionalitypropositional attitudestype-theoretical semantics
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