Displaying modal logic
From MaRDI portal
Publication:1817696
zbMath0955.03006MaRDI QIDQ1817696
Publication date: 4 January 2000
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
modal logictense logicfunctional completenessdisplay logicconstructive negationGentzen-type sequent systemproof theoretic semanticsstrong cut-elimination
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Paraconsistent logics (03B53)
Related Items
Power and Limits of Structural Display Rules, Linear Logic Properly Displayed, Deep sequent systems for modal logic, Logicality, double-line rules, and modalities, Syntactic Completeness of Proper Display Calculi, A deep inference system for the modal logic S5, Labeled sequent calculi for modal logics and implicit contractions, THE LOGIC OF RESOURCES AND CAPABILITIES, Disentangling structural connectives or life without display property, The nature of entailment: an informational approach, Labelled calculi for lattice-based modal logics, Logical multilateralism, FRACTIONAL-VALUED MODAL LOGIC, Quine and Slater on paraconsistency and deviance, Proof theory for functional modal logic, The power of Belnap: sequent systems for \(SIXTEEN_{3 }\), Synchronized linear-time temporal logic, Monoidal logics: completeness and classical systems, Knowledge, belief, normality, and introspection, Reasoning about collectively accepted group beliefs, Proof analysis in intermediate logics, Priest on Negation, Craig Interpolation in Displayable Logics, A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains, Hypersequent and display calculi -- a unified perspective, Combining linear-time temporal logic with constructiveness and paraconsistency, Semi De Morgan logic properly displayed, Display calculi and other modal calculi: a comparison, On Displaying Negative Modalities, Prawitz, Proofs, and Meaning, Bilattice logic properly displayed, An analytic calculus for the intuitionistic logic of proofs
