A propositional dynamic logic for instantial neighborhood semantics (Q2323639): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-018-9825-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2888608561
@@ Property / OpenAlex ID: W2888608561 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5404483
@@ Property / cites work: Q5404483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5016799
@@ Property / cites work: Q5016799 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional dynamic logic for instantial neighborhood models
+Normal rank
@@ Property / cites work @@
+INSTANTIAL NEIGHBOURHOOD LOGIC
@@ Property / cites work: INSTANTIAL NEIGHBOURHOOD LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling simultaneous games in dynamic logic
@@ Property / cites work: Modelling simultaneous games in dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Game logic is strong enough for parity games
@@ Property / cites work: Game logic is strong enough for parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636286
@@ Property / cites work: Q4636286 / rank @@
+Normal rank
@@ Property / cites work @@
+EXPTIME Tableaux for the Coalgebraic μ-Calculus
@@ Property / cites work: EXPTIME Tableaux for the Coalgebraic μ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness for coalgebraic fixpoint logic
@@ Property / cites work: Completeness for coalgebraic fixpoint logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5278080
@@ Property / cites work: Q5278080 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for Coalgebras: An Approach Using Predicate Liftings
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / 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 @@
+Q5014445
@@ Property / cites work: Q5014445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346126
@@ Property / cites work: Q3346126 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of full Computation Tree Logic
@@ Property / cites work: An axiomatization of full Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and fixed point logic: a coalgebraic perspective
+Normal rank
@@ Property / Wikidata QID @@
+Q129348681
@@ Property / Wikidata QID: Q129348681 / rank @@
+Normal rank