<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>In a reactive Kripke model, evaluation of logical operators can cause reconfiguration of the model in which the formula is evaluated. Therefore, in reactive Kripke frames, the evaluation of a logical formula in a world depends both on the world in which the evaluation is made and on the worlds it has passed through previously. The result is an extended semantics, which can specify a class of modal logics more comprehensive than the class specified by ordinary Kripke frames. This paper introduces a metamodel for reactive Kripke frames, based on the concept of categorical sketch. We believe that the categorical sketch is an appropriate metamodel for specifying a Kripke frame model.</p>
</abstract>

In a reactive Kripke model, evaluation of logical operators can cause reconfiguration of the model in which the formula is evaluated. Therefore, in reactive Kripke frames, the evaluation of a logical formula in a world depends both on the world in which the evaluation is made and on the worlds it has passed through previously. The result is an extended semantics, which can specify a class of modal logics more comprehensive than the class specified by ordinary Kripke frames. This paper introduces a metamodel for reactive Kripke frames, based on the concept of categorical sketch. We believe that the categorical sketch is an appropriate metamodel for specifying a Kripke frame model.

A Categorical Metamodel for Reactive Kripke Frames

Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering

International Journal of Advanced Statistics and IT&C for Economics and Life Sciences

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"A Categorical Metamodel for Reactive Kripke Frames"}

In a reactive Kripke model, evaluation of logical operators can cause reconfiguration of the model in which the formula is evaluated. Therefore, in reactive...

A Categorical Metamodel for Reactive Kripke Frames

Published Online: Dec 19, 2023

Page range: 3 - 13

DOI: https://doi.org/10.2478/ijasitels-2023-0001

Keywords
modal logic, Kripke frames, reactive Kripke frames, categorical sketch

© 2023 Daniel C. Crăciunean, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

A Categorical Metamodel for Reactive Kripke Frames

Published Online: Dec 19, 2023

Page range: 3 - 13

DOI: https://doi.org/10.2478/ijasitels-2023-0001

Keywordsmodal logic, Kripke frames, reactive Kripke frames, categorical sketch

© 2023 Daniel C. Crăciunean, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Keywords
modal logic, Kripke frames, reactive Kripke frames, categorical sketch