Pages that link to "Item:Q1181709"

The following pages link to TABLEAUX: A general theorem prover for modal logics (Q1181709):

Displaying 50 items.

• TABLEAUX (Q23614) (← links)
• Tableau reductions: towards an optimal decision procedure for the modal necessity (Q313007) (← links)
• Kripke's worlds. An introduction to modal logics via tableaux (Q371440) (← links)
• Theory matrices (for modal logics) using alphabetical monotonicity (Q687154) (← links)
• Proof analysis in modal logic (Q812101) (← links)
• First-order modal tableaux (Q1104913) (← links)
• A tableau style proof system for two paraconsistent logics (Q1309339) (← links)
• A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
• Resolution theorem proving in reified modal logics (Q1332644) (← links)
• Using resolution for testing modal satisfiability and building models (Q1610669) (← links)
• Tableaus with invertible rules for many-valued modal propositional logics (Q1873250) (← links)
• A benchmark method for the propositional modal logics K, KT, S4 (Q1977575) (← links)
• Single step tableaux for modal logics. Computational properties, complexity and methodology (Q1977576) (← links)
• Local reductions for the modal cube (Q2104538) (← links)
• Tableaux for some modal-tense logics Graham Priest's fashion (Q2144188) (← links)
• Proofs and countermodels in non-classical logics (Q2254557) (← links)
• A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
• Fibred modal tableaux (Q2701984) (← links)
• Tableau methods for modal and temporal logics (Q2753601) (← links)
• A tableau calculus for minimal modal model generation (Q2825415) (← links)
• LotrecScheme (Q2825417) (← links)
• On the relative complexity of labelled modal tableaux (Q2843911) (← links)
• Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
• A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (Q3541702) (← links)
• (Q3686698) (← links)
• (Q3838815) (← links)
• A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems (Q4272502) (← links)
• Relations between propositional normal modal logics: an overview (Q4365323) (← links)
• A description of the tableau method using abstract state machines (Q4365324) (← links)
• An empirical analysis of modal theorem provers (Q4443417) (← links)
• Free variable tableaux for propositional modal logics (Q4610317) (← links)
• A framework for using knowledge in tableau proofs (Q4610337) (← links)
• A resolution-based proof method for temporal logics of knowledge and belief (Q4632296) (← links)
• Distributed modal theorem proving with KE (Q4645234) (← links)
• A simple tableau system for the logic of elsewhere (Q4645235) (← links)
• Theorem Provers For Every Normal Modal Logic (Q4645724) (← links)
• Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
• (Q4699343) (← links)
• Uniform and non uniform strategies for tableaux calculi for modal logics (Q4835516) (← links)
• Model Theoretic Syntax and Parsing (Q4923571) (← links)
• Tableau calculus for local cubic modal logic and its implementation (Q4934884) (← links)
• The Tableau Workbench (Q4982114) (← links)
• MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
• Automated Reasoning with Analytic Tableaux and Related Methods (Q5187870) (← links)
• Strongly analytic tableaux for normal modal logics (Q5210808) (← links)
• A new method for testing decision procedures in modal logics (Q5234709) (← links)
• A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
• Automated Reasoning (Q5307079) (← links)
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
• On the modal logic K plus theories (Q6560175) (← links)