A Categorical Metamodel for Reactive Kripke Frames

Crăciunean Daniel C. ()
Additional contact information
Crăciunean Daniel C.: Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering, “Lucian Blaga” University of Sibiu, Romania

International Journal of Advanced Statistics and IT&C for Economics and Life Sciences, 2023, vol. 13, issue 1, 3-13

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.

Keywords: modal logic; Kripke frames; reactive Kripke frames; categorical sketch (search for similar items in EconPapers)
Date: 2023
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://doi.org/10.2478/ijasitels-2023-0001 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:vrs:ijsiel:v:13:y:2023:i:1:p:3-13:n:2

DOI: 10.2478/ijasitels-2023-0001

Access Statistics for this article

International Journal of Advanced Statistics and IT&C for Economics and Life Sciences is currently edited by Daniel Volovici

More articles in International Journal of Advanced Statistics and IT&C for Economics and Life Sciences from Sciendo
Bibliographic data for series maintained by Peter Golla ().