Pages that link to "Item:Q2753601"
From MaRDI portal
The following pages link to Tableau methods for modal and temporal logics (Q2753601):
Displaying 38 items.
- (Q3384090) (← links)
- Modal Tableau Systems with Blocking and Congruence Closure (Q3455760) (← links)
- Mīmāṃsā Deontic Logic: Proof Theory and Applications (Q3455779) (← links)
- (Q3509041) (← links)
- On contraction and the modal fragment (Q3520225) (← links)
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (Q3541702) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- (Q3838807) (← links)
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Q4236067) (← links)
- Barcan Both Ways (Q4531581) (← links)
- (Q4542599) (← links)
- Definability in the class of all -frames – computability and complexity (Q4586217) (← links)
- Free variable tableaux for propositional modal logics (Q4610317) (← links)
- (Q4724598) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Model Theoretic Syntax and Parsing (Q4923571) (← links)
- Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)
- On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach (Q5006834) (← links)
- Modal Logic S5 Satisfiability in Answer Set Programming (Q5019595) (← links)
- Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (Q5079769) (← links)
- A note on the complexity of S4.2 (Q5156186) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Tableau Metatheorem for Modal Logics (Q5259659) (← links)
- Automated Reasoning (Q5307079) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- From KLM-style conditionals to defeasible modalities, and back (Q5375876) (← links)
- Tableau Development for a Bi-intuitionistic Tense Logic (Q5410499) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
- Shortcuts and dynamic marking in the tableau method for adaptive logics (Q5955615) (← links)
- A tableau method for graded intersections of modalities: A case for concept languages (Q5960008) (← links)
- One-pass Context-based Tableaux Systems for CTL and ECTL (Q6060101) (← links)
- (Q6060107) (← links)
- Parametrized modal logic. II: The unidimensional case (Q6550519) (← links)
- Automated deduction (Q6602250) (← links)
