A goal-directed decision procedure for hybrid PDL (Q2351150): Difference between revisions

@@ Property / describes a project that uses @@
+Spartacus
@@ Property / describes a project that uses: Spartacus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pellet
@@ Property / describes a project that uses: Pellet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HTab
@@ Property / describes a project that uses: HTab / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2087763795
@@ Property / OpenAlex ID: W2087763795 / rank @@
+Normal rank
@@ Property / cites work @@
+An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
+Normal rank
@@ Property / cites work @@
+Partial derivatives of regular expressions and finite automaton constructions
+Normal rank
@@ Property / cites work @@
+A near-optimal method for reasoning about action
@@ Property / cites work: A near-optimal method for reasoning about action / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012241
@@ Property / cites work: Q4012241 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of branching time
@@ Property / cites work: The temporal logic of branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination for Hybrid Tableaus
@@ Property / cites work: Termination for Hybrid Tableaus / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enriched μ-Calculi
@@ Property / cites work: The Complexity of Enriched μ-Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free sequent systems for temporal logic
@@ Property / cites work: Cut-free sequent systems for temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient approach to nominal equalities in hybrid logic tableaux
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining deduction and model checking into tableaux and algorithms for converse-PDL.
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
+Normal rank
@@ Property / cites work @@
+Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3227561
@@ Property / cites work: Q3227561 / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight hybrid tableaux
@@ Property / cites work: Lightweight hybrid tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+HTab: a Terminating Tableaux System for Hybrid Logic
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+A Tableau System for the Modal μ-Calculus
@@ Property / cites work: A Tableau System for the Modal μ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics
+Normal rank
@@ Property / cites work @@
+Terminating tableau systems for hybrid logic with difference and converse
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for Hybrid Logic with Eventualities
+Normal rank
@@ Property / cites work @@
+Regular expressions and the equivalence of programs
+Normal rank
@@ Property / cites work @@
+Q3862380
@@ Property / cites work: Q3862380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+-Exp Time lower bounds for propositional dynamic logics with intersection
+Normal rank
@@ Property / cites work @@
+Q4168590
@@ Property / cites work: Q4168590 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional temporal logics: decidability and completeness
+Normal rank
@@ Property / cites work @@
+Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
+Normal rank
@@ Property / cites work @@
+Q4992506
@@ Property / cites work: Q4992506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539599
@@ Property / cites work: Q4539599 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
+Normal rank
@@ Property / cites work @@
+Optimizing terminological reasoning for expressive description logics
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank