Displaying modal logic
From MaRDI portal
Publication:1817696
functional completenessdisplay logicmodal logictense logicconstructive negationGentzen-type sequent systemproof theoretic semanticsstrong cut-elimination
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Proof theory in general (including proof-theoretic semantics) (03F03) Temporal logic (03B44)
Recommendations
- Displaying the modal logic of consistency
- scientific article; zbMATH DE number 5984132
- scientific article; zbMATH DE number 1356218
- Displaying updates in logic
- scientific article; zbMATH DE number 970628
- Bunched logics displayed
- Sharing actions and attributes in modal action logic
- Display calculi and other modal calculi: a comparison
- Modeling and Using Context
- Linear logic displayed
Cited in
(35)- A deep inference system for the modal logic S5
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
- FRACTIONAL-VALUED MODAL LOGIC
- Sequent Calculi for Normal Modal Propositional Logics
- Syntactic Completeness of Proper Display Calculi
- Hypersequent and display calculi -- a unified perspective
- Reasoning about collectively accepted group beliefs
- Bilattice logic properly displayed
- Power and limits of structural display rules
- Proof theory for functional modal logic
- Proof analysis in intermediate logics
- Display calculi and other modal calculi: a comparison
- Algebraic proof theory for LE-logics
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Logical multilateralism
- Disentangling structural connectives or life without display property
- Quine and Slater on paraconsistency and deviance
- Semi De Morgan logic properly displayed
- Labeled sequent calculi for modal logics and implicit contractions
- An analytic calculus for the intuitionistic logic of proofs
- The nature of entailment: an informational approach
- On displaying negative modalities
- THE LOGIC OF RESOURCES AND CAPABILITIES
- Deep sequent systems for modal logic
- Craig interpolation in displayable logics
- Priest on negation
- Monoidal logics: completeness and classical systems
- Linear logic displayed
- Labelled calculi for lattice-based modal logics
- Prawitz, Proofs, and Meaning
- Knowledge, belief, normality, and introspection
- Synchronized linear-time temporal logic
- Linear Logic Properly Displayed
- Logicality, double-line rules, and modalities
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
This page was built for publication: Displaying modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817696)
