Have a personal or library account? Click to login
A Categorical Metamodel for Reactive Kripke Frames Cover

A Categorical Metamodel for Reactive Kripke Frames

International Journal of Advanced Statistics and IT&C for Economics and Life Sciences
Volume 13 (2023): Issue 1 (December 2023)
By: Daniel C. Crăciunean  
Open Access
|Dec 2023

Authors

Daniel C. Crăciunean

daniel.craciunean@ulbsibiu.ro

Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering, “Lucian Blaga” University of Sibiu, Romania
DOI: https://doi.org/10.2478/ijasitels-2023-0001 | Journal eISSN: 2559-365X | Journal ISSN: 2067-354X
Journal RSS Feed
Language: English
Page range: 3 - 13
Published on: Dec 19, 2023
Published by: Lucian Blaga University of Sibiu
In partnership with: Paradigm Publishing Services
Publication frequency: 2 issues per year
Keywords:
modal logic,
Kripke frames,
reactive Kripke frames,
categorical sketch
Related subjects:
Computer sciences,
Computer sciences, other,
Business and economics,
Mathematics and statistics for economists,
Mathematics,
Engineering,
Electrical engineering,
Fundamentals of electrical engineering,
Mathematics,
General mathematics

© 2023 Daniel C. Crăciunean, published by Lucian Blaga University of Sibiu
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Volume 13 (2023): Issue 1 (December 2023)Next article