Ordered Resolution for Coalition Logic (Q3455769): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution with order and selection for hybrid logics
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+TATL: Implementation of ATL Tableau-Based Decision Procedure
+Normal rank
@@ Property / cites work @@
+Complete axiomatization and decidability of alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+Tableau-based decision procedures for logics of strategic ability in multiagent systems
+Normal rank
@@ Property / cites work @@
+A resolution-based calculus for Coalition Logic
@@ Property / cites work: A resolution-based calculus for Coalition Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Simple and Efficient Clause Subsumption with Feature Vector Indexing
+Normal rank
@@ Property / cites work @@
+System Description: E 1.8
@@ Property / cites work: System Description: E 1.8 / rank @@
+Normal rank
@@ Property / cites work @@
+ATL Satisfiability is Indeed EXPTIME-complete
@@ Property / cites work: ATL Satisfiability is Indeed EXPTIME-complete / rank @@
+Normal rank
@@ Property / cites work @@
+A resolution calculus for the branching-time temporal logic CTL
+Normal rank