scientific article; zbMATH DE number 2088152

zbMath1050.68132MaRDI QIDQ4739288

Mark 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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (4)

Complete axiomatization and decidability of alternating-time temporal logic ⋮ Refinement modal logic ⋮ On the logic of cooperation and propositional control ⋮ Refining strategic ability in alternating-time temporal logic

This page was built for publication: