Pages that link to "Item:Q1420807"
From MaRDI portal
The following pages link to Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications (Q1420807):
Displaying 50 items.
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- A logical framework for convention (Q813427) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
- Tableau-based automata construction for dynamic linear time temporal logic (Q862830) (← links)
- Social laws in alternating time: effectiveness, feasibility, and synthesis (Q885535) (← links)
- Living up to one's commitments: Agency, strategies and trust (Q931781) (← links)
- Logical formalism for specification of real-time multiagent systems (Q945994) (← links)
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- Knowledge condition games (Q1006447) (← links)
- A logic of strategic ability under bounded memory (Q1006515) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- Modeling reasoning in a social setting (Q2016076) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Data-informed knowledge and strategies (Q2152494) (← links)
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- A logic for conditional local strategic reasoning (Q2155205) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Strategic reasoning: building cognitive models from logical formulas (Q2255230) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- Natural strategic ability (Q2289013) (← links)
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints (Q2346410) (← links)
- A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic (Q2386107) (← links)
- Cancer hybrid automata: model, beliefs and therapy (Q2453217) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- Action and knowledge in alternating-time temporal logic (Q2500827) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- A Compositional Automata-based Approach for Model Checking Multi-Agent Systems (Q2873614) (← links)
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
- Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
- Dynamic Restriction of Choices: Synthesis of Societal Rules (Q3093994) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- (Q3384085) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047) (← links)
- Stability under Strategy Switching (Q3576071) (← links)
