Axiomatization of a branching time logic with indistinguishability relations (Q288245): 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/s10992-015-9369-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1987512432
@@ Property / OpenAlex ID: W1987512432 / 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 @@
+Decidability for branching time
@@ Property / cites work: Decidability for branching time / rank @@
+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 @@
+Q3669373
@@ Property / cites work: Q3669373 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
+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 @@
+A hierarchy of temporal logics with past
@@ Property / cites work: A hierarchy of temporal logics with past / rank @@
+Normal rank
@@ Property / cites work @@
+Is the semantics of branching structures adequate for chronological modal logics?
+Normal rank
@@ Property / cites work @@
+Temporal logic. From ancient ideas to artificial intelligence
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for Branching Time
@@ Property / cites work: Axioms for Branching Time / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311046
@@ Property / cites work: Q5311046 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of PCTL*
@@ Property / cites work: An axiomatization of PCTL* / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+A finite axiomatization of the set of strongly valid Ockhamist formulas
+Normal rank
@@ Property / cites work @@
+Axiomatization of `Peircean' branching-time logic
@@ Property / cites work: Axiomatization of `Peircean' branching-time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
+Normal rank
@@ Property / cites work @@
+Undivided and indistinguishable histories in branching-time logics
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:288245