PDL with intersection and converse: satisfiability and infinite-state model checking (Q3616354): 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.2178/jsl/1231082313
+Normal rank
@@ Property / OpenAlex ID @@
+W2019785612
@@ Property / OpenAlex ID: W2019785612 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+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 @@
+A Modal Perspective on Path Constraints
@@ Property / cites work: A Modal Perspective on Path Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+PDL for ordered trees
@@ Property / cites work: PDL for ordered trees / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of model checking with the temporal logic EF
+Normal rank
@@ Property / cites work @@
+PDL with negation of atomic programs
@@ Property / cites work: PDL with negation of atomic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The regular viewpoint on PA-processes
@@ Property / cites work: The regular viewpoint on PA-processes / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27--31, 2002. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded fixed point logics and the monadic theory of countable trees.
+Normal rank
@@ Property / cites work @@
+Infinite State Model-Checking of Propositional Dynamic Logics
+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 @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank
@@ Property / cites work @@
+DAL -- a logic for data analysis
@@ Property / cites work: DAL -- a logic for data analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking LTL with regular valuations for pushdown systems
+Normal rank