On the semantics of Strategy Logic

Title
On the semantics of Strategy Logic
Authors
Keywords
Formal methods, Multi-agent systems, Strategic reasoning, Temporal logics
Journal
INFORMATION PROCESSING LETTERS
Volume 116, Issue 2, Pages 75-79
Publisher
Elsevier BV
Online
2015-10-27
DOI
10.1016/j.ipl.2015.10.004

Ask authors/readers for more resources

Reprint

Contact the author

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started