Pages that link to "Item:Q3541702"

The following pages link to A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (Q3541702):

Displaying 15 items.

• A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
• A description logic based situation calculus (Q604908) (← links)
• Unification in linear temporal logic LTL (Q716499) (← links)
• A new methodology for developing deduction methods (Q1037405) (← links)
• Single step tableaux for modal logics. Computational properties, complexity and methodology (Q1977576) (← links)
• Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
• A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
• A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
• Capturing equilibrium models in modal logic (Q2447178) (← links)
• A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
• Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
• A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it (Q3424135) (← links)
• (Q3509041) (← links)
• Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)