A proof-theoretic view of necessity
From MaRDI portal
Publication:2500817
DOI10.1007/s11229-004-6293-4zbMath1105.03056OpenAlexW1976016288MaRDI QIDQ2500817
Publication date: 18 August 2006
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-004-6293-4
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Modalities Without Worlds ⋮ The intensional structure of epistemic convictions ⋮ Direct proofs of Lindenbaum conditionals
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- In the mood
- Theory contraction through base contraction
- Tools and techniques in modal logic
- Foundational belief change
- The genesis of possible worlds semantics
- Dynamic updates of non-monotonic knowledge bases
- Structured belief bases
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi