Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204): Difference between revisions

@@ Property / cites work @@
+Resolving distributed knowledge
@@ Property / cites work: Resolving distributed knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Justified Belief and the Topology of Evidence
@@ Property / cites work: Justified Belief and the Topology of Evidence / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+On the logic of ability
@@ Property / cites work: On the logic of ability / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 8
@@ Property / cites work: Handbook of philosophical logic. Vol. 8 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384063
@@ Property / cites work: Q3384063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942680
@@ Property / cites work: Q4942680 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiplex semantics for deontic logic
@@ Property / cites work: Multiplex semantics for deontic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5695180
@@ Property / cites work: Q5695180 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for deontic dilemmas
@@ Property / cites work: A logic for deontic dilemmas / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiomatisation of Elgesem's logic of agency and ability
+Normal rank
@@ Property / cites work @@
+Q5014445
@@ Property / cites work: Q5014445 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics
+Normal rank
@@ Property / cites work @@
+Neighbourhood Structures: Bisimilarity and Basic Model Theory
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+From oughts to goals: a logic for Enkrasia
@@ Property / cites work: From oughts to goals: a logic for Enkrasia / rank @@
+Normal rank
@@ Property / cites work @@
+Normal monomodal logics can simulate all others
@@ Property / cites work: Normal monomodal logics can simulate all others / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224916
@@ Property / cites work: Q5224916 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal grammar
@@ Property / cites work: Universal grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Topological reasoning and the logic of knowledge
@@ Property / cites work: Topological reasoning and the logic of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Neighborhood semantics for modal logic
@@ Property / cites work: Neighborhood semantics for modal logic / rank @@
+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 @@
+Game logic -- an overview
@@ Property / cites work: Game logic -- an overview / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed knowledge
@@ Property / cites work: Distributed knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q4047529
@@ Property / cites work: Q4047529 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+A new game equivalence, its logic and algebra
@@ Property / cites work: A new game equivalence, its logic and algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional dynamic logic for instantial neighborhood semantics
+Normal rank
@@ Property / cites work @@
+Dynamic logics of evidence-based beliefs
@@ Property / cites work: Dynamic logics of evidence-based beliefs / rank @@
+Normal rank
@@ Property / cites work @@
+``That will do'': logics of deontic necessity and sufficiency
+Normal rank
@@ Property / cites work @@
+Pointwise intersection in neighbourhood modal logic
+Normal rank
@@ Property / cites work @@
+Pooling modalities and pointwise intersection: axiomatization and decidability
+Normal rank
@@ Property / cites work @@
+Group knowledge is not always distributed (neither is it always implicit)
+Normal rank
@@ Property / cites work @@
+On the logic of cooperation and propositional control
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank