Completeness of a branching-time logic with possible choices (Q622622): 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/s11225-010-9291-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2012121249
@@ Property / OpenAlex ID: W2012121249 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Alternating-time Temporal Logic in Strategic  Logic of Agency
+Normal rank
@@ Property / cites work @@
+The unreal future
@@ Property / cites work: The unreal future / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and time
@@ Property / cites work: Logic and 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 @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatization and decidability of alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+The deliberative stit: A study of action, omission, ability, and obligation
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic. From ancient ideas to artificial intelligence
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / 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 @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for deliberative stit
@@ Property / cites work: Axioms for deliberative stit / 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 @@
+Undivided and indistinguishable histories in branching-time logics
+Normal rank