BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817): Difference between revisions

@@ Property / author @@
-Fernando Raymundo Velázquez-Quesada
@@ Property / author: Fernando Raymundo Velázquez-Quesada / rank @@
-Normal rank
@@ Property / author @@
+Fernando Raymundo Velázquez-Quesada
@@ Property / author: Fernando Raymundo Velázquez-Quesada / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Coalition logic with individual, distributed and common knowledge1
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Justification Logic
@@ Property / cites work: Justification Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Neighbourhood Contingency Bisimulation
@@ Property / cites work: Neighbourhood Contingency Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636030
@@ Property / cites work: Q4636030 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for conditional modalities
@@ Property / cites work: Bisimulation for conditional modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
+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 @@
+An efficient algorithm for computing bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+CONTINGENCY AND KNOWING WHETHER
@@ Property / cites work: CONTINGENCY AND KNOWING WHETHER / 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 @@
+Q4636044
@@ Property / cites work: Q4636044 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for Neighbourhood Structures
@@ Property / cites work: Bisimulation for Neighbourhood Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Neighbourhood Structures: Bisimilarity and Basic Model Theory
+Normal rank
@@ Property / cites work @@
+``Knowing whether'', ``knowing that'', and the cardinality of state spaces
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+ACTION TYPES IN STIT SEMANTICS
@@ Property / cites work: ACTION TYPES IN STIT SEMANTICS / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive knowledge: what agents can achieve under imperfect information
+Normal rank
@@ Property / cites work @@
+Achieving While Maintaining:
@@ Property / cites work: Achieving While Maintaining: / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
+Normal rank
@@ Property / cites work @@
+More for free: a dynamic epistemic framework for conformant planning over transition systems*
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384085
@@ Property / cites work: Q3384085 / rank @@
+Normal rank
@@ Property / cites work @@
+Together we know how to achieve: an epistemic logic of know-how
+Normal rank
@@ Property / cites work @@
+Knowing-how under uncertainty
@@ Property / cites work: Knowing-how under uncertainty / 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 knowledge based semantics of messages
@@ Property / cites work: A knowledge based semantics of messages / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+INSTANTIAL NEIGHBOURHOOD LOGIC
@@ Property / cites work: INSTANTIAL NEIGHBOURHOOD LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Q4578043
@@ Property / cites work: Q4578043 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowing Values and Public Inspection
@@ Property / cites work: Knowing Values and Public Inspection / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of knowing how with skippable plans
@@ Property / cites work: A logic of knowing how with skippable plans / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Knowing How
@@ Property / cites work: A Logic of Knowing How / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384090
@@ Property / cites work: Q3384090 / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Knowing That: A New Generation of Epistemic Logics
+Normal rank
@@ Property / cites work @@
+A logic of goal-directed knowing how
@@ Property / cites work: A logic of goal-directed knowing how / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419900
@@ Property / cites work: Q5419900 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of knowing why
@@ Property / cites work: A logic of knowing why / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020321000101
+Normal rank
@@ Property / OpenAlex ID @@
+W3137260861
@@ Property / OpenAlex ID: W3137260861 / rank @@
+Normal rank