Dynamic term-modal logics for first-order epistemic planning (Q2211848): Difference between revisions

@@ Property / describes a project that uses @@
+SMCDEL
@@ Property / describes a project that uses: SMCDEL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PDDL
@@ Property / describes a project that uses: PDDL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3026707756
@@ Property / OpenAlex ID: W3026707756 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06047
@@ Property / arXiv ID: 1906.06047 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Epistemic Planning
@@ Property / cites work: Conditional Epistemic Planning / rank @@
+Normal rank
@@ Property / cites work @@
+An internal version of epistemic logic
@@ Property / cites work: An internal version of epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Q4576175
@@ Property / cites work: Q4576175 / rank @@
+Normal rank
@@ Property / cites work @@
+Free quantified epistemic logics
@@ Property / cites work: Free quantified epistemic logics / rank @@
+Normal rank
@@ Property / cites work @@
+A New Approach to Epistemic Logic
@@ Property / cites work: A New Approach to Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636038
@@ Property / cites work: Q4636038 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648829
@@ Property / cites work: Q4648829 / 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 @@
+Q4570895
@@ Property / cites work: Q4570895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / 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 @@
+Q3624014
@@ Property / cites work: Q3624014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3376919
@@ Property / cites work: Q3376919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive knowledge: what agents can achieve under imperfect information
+Normal rank
@@ Property / cites work @@
+Q3571950
@@ Property / cites work: Q3571950 / rank @@
+Normal rank
@@ Property / cites work @@
+The Undecidability of Monadic Modal Quantification Theory
+Normal rank
@@ Property / cites work @@
+Intensional protocols for dynamic epistemic logic
@@ Property / cites work: Intensional protocols for dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic term-modal logic for epistemic social network dynamics
+Normal rank
@@ Property / cites work @@
+DEL Planning and Some Tractable Cases
@@ Property / cites work: DEL Planning and Some Tractable Cases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4578043
@@ Property / cites work: Q4578043 / rank @@
+Normal rank
@@ Property / cites work @@
+EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
+Normal rank
@@ Property / cites work @@
+The monodic fragment of propositional term modal logic
+Normal rank
@@ Property / cites work @@
+Propositional modal logic with implicit modal quantification
+Normal rank
@@ Property / cites work @@
+Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
+Normal rank
@@ Property / cites work @@
+Modeling Semantic Competence: A Critical Review of Frege’s Puzzle about Identity
+Normal rank
@@ Property / cites work @@
+Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention
+Normal rank
@@ Property / cites work @@
+Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
+Normal rank
@@ Property / cites work @@
+Term-sequence-modal logics
@@ Property / cites work: Term-sequence-modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional epistemic logics with quantification over agents of knowledge
+Normal rank
@@ Property / cites work @@
+Q2736204
@@ Property / cites work: Q2736204 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
+Normal rank
@@ Property / cites work @@
+An essay in modal logic
@@ Property / cites work: An essay in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+When Names Are Not Commonly Known: Epistemic Logic with Assignments
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2211848