Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400): Difference between revisions

@@ Property / author @@
-Q266857
@@ Property / author: Q266857 / rank @@
-Normal rank
@@ Property / author @@
+Valentin F. Goranko
@@ Property / author: Valentin F. Goranko / rank @@
+Normal rank
@@ 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.1080/11663081.2000.10510998
+Normal rank
@@ Property / OpenAlex ID @@
+W1985336354
@@ Property / OpenAlex ID: W1985336354 / rank @@
+Normal rank
@@ Property / cites work @@
+A first-order axiomatization of the theory of finite trees
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid completeness
@@ Property / cites work: Hybrid completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages and temporal logic
@@ Property / cites work: Hybrid languages and temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / rank @@
+Normal rank
@@ Property / cites work @@
+CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising the logic of computer programming
@@ Property / cites work: Axiomatising the logic of computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518420
@@ Property / cites work: Q4518420 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of modal and temporal logics with reference pointers
+Normal rank
@@ Property / cites work @@
+The decision problem for branching time logic
@@ Property / cites work: The decision problem for branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in combinatory dynamic logic
@@ Property / cites work: An essay in combinatory dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation rules as anti-axioms in modal logic
@@ Property / cites work: Derivation rules as anti-axioms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4443400