Displaying modal logic
zbMATH Open0955.03006MaRDI QIDQ1817696FDOQ1817696
Authors: Heinrich Wansing 
Publication date: 4 January 2000
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
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
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)
Cited In (35)
- On Displaying Negative Modalities
- Synchronized linear-time temporal logic
- Labelled calculi for lattice-based modal logics
- Syntactic Completeness of Proper Display Calculi
- Proof theory for functional modal logic
- Combining linear-time temporal logic with constructiveness and paraconsistency
- FRACTIONAL-VALUED MODAL LOGIC
- Linear logic displayed
- Prawitz, Proofs, and Meaning
- Display calculi and other modal calculi: a comparison
- An analytic calculus for the intuitionistic logic of proofs
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
- Quine and Slater on paraconsistency and deviance
- Power and Limits of Structural Display Rules
- Priest on Negation
- Semi De Morgan logic properly displayed
- Knowledge, belief, normality, and introspection
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
- Bilattice logic properly displayed
- A deep inference system for the modal logic S5
- Hypersequent and display calculi -- a unified perspective
- Logical multilateralism
- The nature of entailment: an informational approach
- Craig interpolation in displayable logics
- Sequent Calculi for Normal Modal Propositional Logics
- Reasoning about collectively accepted group beliefs
- Proof analysis in intermediate logics
- Linear Logic Properly Displayed
- Algebraic proof theory for LE-logics
- Deep sequent systems for modal logic
- Logicality, double-line rules, and modalities
- THE LOGIC OF RESOURCES AND CAPABILITIES
- Monoidal logics: completeness and classical systems
- Labeled sequent calculi for modal logics and implicit contractions
- Disentangling structural connectives or life without display property
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)
