Clausal resolution in a logic of rational agency (Q1606116): Difference between revisions

@@ Property / describes a project that uses @@
+FaCT++
@@ Property / describes a project that uses: FaCT++ / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030268
@@ Property / cites work: Q3030268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490986
@@ Property / cites work: Q3490986 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of modal logics
@@ Property / cites work: Combinations of modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Why combine logics?
@@ Property / cites work: Why combine logics? / rank @@
+Normal rank
@@ Property / cites work @@
+A clausal resolution method for CTL branching-time temporal logic
+Normal rank
@@ Property / cites work @@
+Q3338212
@@ Property / cites work: Q3338212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Search strategies for resolution in temporal logics
+Normal rank
@@ Property / cites work @@
+Temporal resolution using a breadth-first search algorithm
+Normal rank
@@ Property / cites work @@
+Resolution for temporal logics of knowledge
@@ Property / cites work: Resolution for temporal logics of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+Modal resolution in clausal form
@@ Property / cites work: Modal resolution in clausal form / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518431
@@ Property / cites work: Q4518431 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal temporal resolution
@@ Property / cites work: Clausal temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+Normal rank
@@ Property / cites work @@
+Q4518865
@@ Property / cites work: Q4518865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536748
@@ Property / cites work: Q4536748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539602
@@ Property / cites work: Q4539602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3972527
@@ Property / cites work: Q3972527 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution-based methods for modal logics
@@ Property / cites work: Resolution-based methods for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution-based calculi for modal and temporal logics
+Normal rank
@@ Property / cites work @@
+Q3791114
@@ Property / cites work: Q3791114 / 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 @@
+Q4028821
@@ Property / cites work: Q4028821 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for BDI logics
@@ Property / cites work: Decision procedures for BDI logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741614
@@ Property / cites work: Q3741614 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0004-3702(02)00196-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1963666633
@@ Property / OpenAlex ID: W1963666633 / rank @@
+Normal rank