The following pages link to Displaying modal logic (Q1817696):
Displayed 32 items.
- Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Reasoning about collectively accepted group beliefs (Q652734) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Deep sequent systems for modal logic (Q834716) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Quine and Slater on paraconsistency and deviance (Q1411358) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Knowledge, belief, normality, and introspection (Q2218706) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- An analytic calculus for the intuitionistic logic of proofs (Q2330501) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- Priest on Negation (Q3305669) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
- Labelled calculi for lattice-based modal logics (Q6132565) (← links)
- Logical multilateralism (Q6145030) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)