Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-14203-1_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1549273226
@@ Property / OpenAlex ID: W1549273226 / rank @@
+Normal rank
@@ Property / cites work @@
+An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012241
@@ Property / cites work: Q4012241 / 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 @@
+Tableau-based Decision Procedures for Hybrid Logic
+Normal rank
@@ Property / cites work @@
+Combining deduction and model checking into tableaux and algorithms for converse-PDL.
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / 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 @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
+Normal rank
@@ Property / cites work @@
+Terminating tableau systems for hybrid logic with difference and converse
+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 @@
+Q4539599
@@ Property / cites work: Q4539599 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5747764