Constructive belief reports
DOI10.1007/S11229-014-0540-0zbMATH Open1372.03033OpenAlexW2070472583MaRDI QIDQ514084FDOQ514084
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
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
proof-theoretic semanticsconstructive type theorybelief reportshyperintensionalitypropositional attitudestype-theoretical semantics
Logics of knowledge and belief (including belief change) (03B42) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
- Title not available (Why is that?)
- Constructivism in mathematics. An introduction. Volume I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lectures on the Curry-Howard isomorphism
- Title not available (Why is that?)
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hyperintensions
- 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
- Rules for subatomic derivation
- Hyperintensional logic
- Refinements of subatomic natural deduction
- A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
- Associative substitutional semantics and quantified modal logic
Cited In (6)
- Assertion and grounding: a theory of assertion for constructive type theory
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- Type-theoretical dynamics exploring belief revision in a constructive framework
- R. M. Martin's logic of belief
- Algorithmic theories of problems. A constructive and a non-constructive approach
- Judgement, belief and acceptance
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)
