Propositional epistemic logics with quantification over agents of knowledge (Q1743999): Difference between revisions

@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Free quantified epistemic logics
@@ Property / cites work: Free quantified epistemic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded situation calculus action theories
@@ Property / cites work: Bounded situation calculus action theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Term-modal logics
@@ Property / cites work: Term-modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Naming and Identity in Epistemic Logics Part I: The Propositional Case
+Normal rank
@@ Property / cites work @@
+Naming and identity in epistemic logic. II: A first-order logic for naming
+Normal rank
@@ Property / cites work @@
+Loosely guarded fragment of first-order logic has the finite model property
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+DECIDABILITY PROBLEMS OF EXTENDED THEORIES
@@ Property / cites work: DECIDABILITY PROBLEMS OF EXTENDED THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001345
@@ Property / cites work: Q4001345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789460
@@ Property / cites work: Q4789460 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4578043
@@ Property / cites work: Q4578043 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order modal logics
@@ Property / cites work: Decidable fragments of first-order modal logics / rank @@
+Normal rank