Pages that link to "Item:Q2535854"

The following pages link to Tableau methods of proof for modal logics (Q2535854):

Displaying 28 items.

• Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
• Prefixed tableaus and nested sequents (Q409323) (← links)
• Modal interpolation via nested sequents (Q487689) (← links)
• First-order intensional logic (Q598308) (← links)
• Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
• The complexity of identifying characteristic formulae (Q1987735) (← links)
• Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models (Q2095426) (← links)
• Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
• Nested sequents for intuitionistic logics (Q2443118) (← links)
• Intuitionistic Layered Graph Logic (Q2817944) (← links)
• A proof-planning framework with explicit abstractions based on indexed formulas (Q2841241) (← links)
• Interpolation for first order S5 (Q3149986) (← links)
• Through an Inference Rule, Darkly (Q3305631) (← links)
• A Tableaux System for Deontic Action Logic (Q3522041) (← links)
• Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
• Description Logics (Q3638996) (← links)
• Barcan Both Ways (Q4531581) (← links)
• (Q4553286) (← links)
• Model existence theorems for modal and intuitionistic logics (Q4774043) (← links)
• (Q5015283) (← links)
• (Q5028422) (← links)
• Strongly analytic tableaux for normal modal logics (Q5210808) (← links)
• A general proof certification framework for modal logic (Q5236558) (← links)
• Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
• Non-classical logics in satisfiability modulo theories (Q6541143) (← links)
• A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)
• Complexity results for modal logic with recursion via translations and tableaux (Q6597964) (← links)