Epistemic Logics of Structured Intensional Groups (Q6199602): Difference between revisions

@@ Property / cites work @@
+Term-modal logics
@@ Property / cites work: Term-modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Naming and identity in epistemic logic. II: A first-order logic for naming
+Normal rank
@@ Property / cites work @@
+Naming and Identity in Epistemic Logics Part I: The Propositional Case
+Normal rank
@@ Property / cites work @@
+Bisimulation for Neighbourhood Structures
@@ Property / cites work: Bisimulation for Neighbourhood Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3897035
@@ Property / cites work: Q3897035 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming simultaneous actions using common knowledge
+Normal rank
@@ Property / cites work @@
+EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
+Normal rank
@@ Property / cites work @@
+Neighborhood semantics for modal logic
@@ Property / cites work: Neighborhood semantics for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional modal logic with implicit modal quantification
+Normal rank
@@ Property / cites work @@
+Q5092390
@@ Property / cites work: Q5092390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5090984
@@ Property / cites work: Q5090984 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic algebras: Examples, constructions, applications
+Normal rank
@@ Property / cites work @@
+Propositional epistemic logics with quantification over agents of knowledge
+Normal rank
@@ Property / cites work @@
+When Names Are Not Commonly Known: Epistemic Logic with Assignments
+Normal rank