Pages that link to "Item:Q834716"

The following pages link to Deep sequent systems for modal logic (Q834716):

Displaying 44 items.

• Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
• Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
• Proof internalization in generalized Frege systems for classical logic (Q392294) (← links)
• Prefixed tableaus and nested sequents (Q409323) (← links)
• Realization for justification logics via nested sequents: modularity through embedding (Q435202) (← links)
• Modal interpolation via nested sequents (Q487689) (← links)
• Maehara-style modal nested calculi (Q1734264) (← links)
• Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
• A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
• Local reductions for the modal cube (Q2104538) (← links)
• On the proof theory of infinitary modal logic (Q2106873) (← links)
• Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
• Game semantics for constructive modal logic (Q2142094) (← links)
• Uniform interpolation via nested sequents (Q2148805) (← links)
• A pure view of ecumenical modalities (Q2148808) (← links)
• A fresh view of linear logic as a logical framework (Q2229156) (← links)
• Proofs and countermodels in non-classical logics (Q2254557) (← links)
• Disentangling structural connectives or life without display property (Q2421521) (← links)
• Nested sequents for intuitionistic logics (Q2443118) (← links)
• A deep inference system for the modal logic S5 (Q2642520) (← links)
• Focused and Synthetic Nested Sequents (Q2811354) (← links)
• Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201) (← links)
• Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
• On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics (Q3003326) (← links)
• On Height and Happiness (Q3299847) (← links)
• Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558) (← links)
• Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
• Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
• CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
• MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
• (Q5090950) (← links)
• Supervenience, Dependence, Disjunction (Q5215498) (← links)
• A general proof certification framework for modal logic (Q5236558) (← links)
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
• Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
• Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
• An ecumenical notion of entailment (Q6067097) (← links)
• FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
• Some analytic systems of rules (Q6541146) (← links)
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
• A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)
• Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
• Subintuitionistic logics and their modal companions: a nested approach (Q6650729) (← links)