P

P.

info

Please Note

1 records found

Authored

Determining the Environment

A Modal Logic for Closed Interaction (extended abstract)

In the last decades logics for describing coalitional power in Multi Agent Systems have flourished. Alur’s Alternating-Time Temporal Logic (ATL) [1], Pauly’s Coalition Logic (CL) [5], Belnap’s STIT Logic [2], are only a few influential examples of them. Roughly speaking they are ...