References
- Michael Barr, Charles Wells, 2012. Category Theory For Computing Science, Reprints in Theory and Applications of Categories, No. 22.
- M. Huth, M. Ryan, 2004, Logic in Computer Science, Modelling and Reasoning about Systems, Published in the United States of America by Cambridge University Press, New York.
- Luo, Jieting; Liao, Beishui; Gabbay, Dov. 2022, Value-based Practical Reasoning: Modal Logic + Argumentation (In Press). In: COMMA - Computational Models of Argument. Conference Proceedings.
- D. Gabbay. 2004, Reactive Kripke semantics. In Proceedings of CompLog 2004, W. Carnielli, ed., pp. 7–20. Centre of Logic and Computation, University of Lisbon.
- H. Barringer and D. M. Gabbay. 2010, Modal and temporal argumentation networks. In Time for Verification. Essays in Memory of Amir Pnueli, D. Peled and Z. Manna, eds., pages 1–25. LNCS 6200, Springer, Berlin.
- M. Crochemore and D. M. Gabbay. 2011, Reactive Automata. Information and Computation, 209(4), 692–704. Published online: DOI: 10.1016/j.ic.2011.01.002.
- S. Modgil. 2009, Reasoning about preferences in argumentation frameworks. Artif. Intell., 173:901–934.
- Gabbay, D.M. 2013, Reactivity and Grammars: An Exploration. In: Reactive Kripke Semantics. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41389-6_9.
- Olivier Gasquet, Andreas Herzig, Bilal Said,François Schwarzentruber, 2014, Kripke’s Worlds, An Introduction to Modal Logics via Tableaux, Springer Basel AG.
- Barringer, H., Rydeheard, D., Gabbay, D. 2014. Reactivity and Grammars: An Exploration. In: Dershowitz, N., Nissan, E. (eds) Language, Culture, Computation. Computing - Theory and Technology. Lecture Notes in Computer Science, vol 8001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45321-2_6
- Gabbay, D.M. 2008. Introducing Reactive Kripke Semantics and Arc Accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds) Pillars of Computer Science. Lecture Notes in Computer Science, vol 4800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78127-1_17
- Zinovy Diskin, Uwe Wolter, 2008, A Diagrammatic Logic for Object-Oriented Visual Modeling, Electronic Notes in Theoretical Computer Science, Volume 203, Issue 6, 21 November 2008.
- Virginia Dignum, 2009, A Logic for Agent Organizations, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, Information Science Reference, by IGI Global.
- Y. Shoham, K. Leyton-Brown, 2009, Multiagent systems_algorithmic, game-theoretic, and logical foundations -Cambridge University Press.
- Uwe Wolter, Zinovy Diskin, 2015, The Next Hundred Diagrammatic Specification Techniques, A Gentle Introduction to Generalized Sketches, 02 September 2015 : https://www.researchgate.net/publication/253963677.
- D.C. Crăciunean, D. Karagiannis, 2019, A categorical model of process cosimulation, Journal of Advanced Computer Science and Applications(IJACSA), 10(2).