First Page | Document Content | |
---|---|---|
Date: 2016-06-02 10:18:50Artificial intelligence Multi-agent systems Formal sciences Simulation Alternating-time Temporal Logic Modal logic Norm Temporal logic Game theory International Conference on Autonomous Agents and Multiagent Systems Logic Agent-based model | piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014Add to Reading ListSource URL: piotrkazmierczak.comDownload Document from Source WebsiteFile Size: 544,97 KBShare Document on Facebook |
A Relational Modal Logic for Higher-Order Stateful ADTs (Technical Appendix) Derek Dreyer Georg NeisDocID: 1vj1H - View Document | |
1 2 Avicenna sets up a modal logic with a Kripke semanticsDocID: 1uVyg - View Document | |
100 Book Reviews This much carries over to Hale’s possibility semantics. Hale’s metaphysics motivates adopting a hybrid modal logic. Where n is aDocID: 1uUMQ - View Document | |
Modal Logic and Invariance Johan van Benthem Denis Bonnay AbstractDocID: 1uOtj - View Document | |
Non-Well-Founded Proofs for Modal Grzegorczyk Logic Yury Savateev 1DocID: 1uJwG - View Document |