A formal characterization of semantic pollution of modal proof systems
From MaRDI portal
Cites work
- A constructive analysis of RM
- Arthur Prior and hybrid logic
- Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
- Cut-free sequent calculi for some tense logics
- Display logic
- Display to Labeled Proofs and Back Again for Tense Logics
- Hopeful monsters: a note on multiple conclusions
- scientific article; zbMATH DE number 3125693 (Why is no real title available?)
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 7085124 (Why is no real title available?)
- Intuitionistic Decision Procedures Since Gentzen
- Intuitionistic hybrid logic
- Labelled tree sequents, tree hypersequents and nested (deep) sequents
- Modal logic
- Multiple conclusions
- Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi
- Notational variance and its variants
- On Skolemization in constructive theories
- Proof analysis in non-classical logics
- Purity and explanation: a systematic case study
- Semantic pollution and syntactic purity
- Sequent Calculi for Normal Modal Propositional Logics
- The Method of Tree-Hypersequents for Modal Propositional Logic
- Top-down and bottom-up philosophy of mathematics
- Why conclusions should remain single
- Why Do Mathematicians Re-prove Theorems?
This page was built for publication: A formal characterization of semantic pollution of modal proof systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7362221)
