30 |
Logic of Time Division on Intervals of Finite Size
|
|
|
|
In: Logic of Knowledge - Theory and Applications ; https://halshs.archives-ouvertes.fr/halshs-00715642 ; Logic of Knowledge - Theory and Applications, College Publications, pp.79-114, 2012 (2012)
|
|
BASE
|
|
Show details
|
|
31 |
Insights into Modal Slash Logic and Modal Decidability
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-00715648 ; 2012, pp.1-63 (2012)
|
|
BASE
|
|
Show details
|
|
32 |
Together, Is Anything Possible? A Look at Collective Commitments for Agents
|
|
Wright, Ben. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. : LIPIcs - Leibniz International Proceedings in Informatics. Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), 2012
|
|
BASE
|
|
Show details
|
|
|
|