scientific article; zbMATH DE number 2182496
From MaRDI portal
Publication:4681371
zbMath1102.68106MaRDI QIDQ4681371
Wiebe van der Hoek, Wojciech Jamroga
Publication date: 23 June 2005
Full work available at URL: http://iospress.metapress.com/link.asp?id=xh738axb47d8rchf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
knowledgetemporal logicmultiagent systemstransition systemsepistemic logicgames with incomplete information
Related Items (45)
Specification and Verification of Multi-Agent Systems ⋮ A Logic of Knowing How ⋮ A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic ⋮ Knowledge-based strategies for multi-agent teams playing against nature ⋮ Reasoning About Strategies ⋮ Group Belief ⋮ To be announced ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ Cooperation in games and epistemic readings of independence-friendly sentences ⋮ An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information ⋮ THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES ⋮ DOING WITHOUT ACTION TYPES ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ ⋮ Together we know how to achieve: an epistemic logic of know-how ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A logic of goal-directed knowing how ⋮ Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol ⋮ The Pleasure of Gossip ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Epistemic protocols for dynamic gossip ⋮ Intelligence in Strategic Games ⋮ Model checking abilities of agents: a closer look ⋮ Strategic reasoning: building cognitive models from logical formulas ⋮ What will they say? -- Public announcement games ⋮ Group announcement logic ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ Action and knowledge in alternating-time temporal logic ⋮ Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions ⋮ A Logic for Reasoning about Rational Agents ⋮ Model Checking Strategic Equilibria ⋮ Knowing-how under uncertainty ⋮ Natural strategic ability ⋮ Approximate verification of strategic abilities under imperfect information ⋮ A logic of strategic ability under bounded memory ⋮ On composition of bounded-recall plans ⋮ Epistemic reasoning about rationality and bids in auctions ⋮ Reasoning about temporal properties of rational play ⋮ Multi-valued Verification of Strategic Ability ⋮ Knowing the price of success ⋮ Verification of multi-agent systems with public actions against strategy logic ⋮ Logical Player Types for a Theory of Play ⋮ Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
This page was built for publication:
