scientific article; zbMATH DE number 2088152

MaRDI QIDQ4739288zbMATH OpenFDO

Authors M. D. Ryan, Pierre Yves Schobbens

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2333/23330100.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• A formal treatment of agents, goals and operations using alternating-time temporal logic
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Multiagent temporal logics, unification problems, and admissibilities
• Dynamic temporal logical operations in multi-agent logics
• Multiagent temporal logics with multivaluations
• Inference rules in multi-agents' temporal logics
• Alternating-time stream logic for multi-agent systems

Cited in

(8)

• Complete axiomatization and decidability of alternating-time temporal logic
• On the logic of cooperation and propositional control
• The refinement of multi-agent systems
• A formal treatment of agents, goals and operations using alternating-time temporal logic
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Refinement modal logic
• Refining strategic ability in alternating-time temporal logic
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4739288)