A Categorical Metamodel for Reactive Kripke Frames

[1] Michael Barr, Charles Wells, 2012. Category Theory For Computing Science, Reprints in Theory and Applications of Categories, No. 22. Search in Google Scholar

[2] 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. Search in Google Scholar

[3] Luo, Jieting; Liao, Beishui; Gabbay, Dov. 2022, Value-based Practical Reasoning: Modal Logic + Argumentation (In Press). In: COMMA - Computational Models of Argument. Conference Proceedings. Search in Google Scholar

[4] 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. Search in Google Scholar

[5] 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. Search in Google Scholar

[6] 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. Search in Google Scholar

[7] S. Modgil. 2009, Reasoning about preferences in argumentation frameworks. Artif. Intell., 173:901–934. Search in Google Scholar

[8] 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. Search in Google Scholar

[9] Olivier Gasquet, Andreas Herzig, Bilal Said,François Schwarzentruber, 2014, Kripke’s Worlds, An Introduction to Modal Logics via Tableaux, Springer Basel AG. Search in Google Scholar

[10] 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 Search in Google Scholar

[11] 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 Search in Google Scholar

[12] 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. Search in Google Scholar

[13] 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. Search in Google Scholar

[14] Y. Shoham, K. Leyton-Brown, 2009, Multiagent systems_algorithmic, game-theoretic, and logical foundations -Cambridge University Press. Search in Google Scholar

[15] 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. Search in Google Scholar

[16] D.C. Crăciunean, D. Karagiannis, 2019, A categorical model of process cosimulation, Journal of Advanced Computer Science and Applications(IJACSA), 10(2). Search in Google Scholar