Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Arquitectura y diseño
Artes
Ciencias Sociales
Ciencias de la Información y Bibliotecas, Estudios del Libro
Ciencias de la vida
Ciencias de los materiales
Deporte y tiempo libre
Estudios clásicos y del Cercano Oriente antiguo
Estudios culturales
Estudios judíos
Farmacia
Filosofía
Física
Geociencias
Historia
Informática
Ingeniería
Interés general
Ley
Lingüística y semiótica
Literatura
Matemáticas
Medicina
Música
Negocios y Economía
Química
Química industrial
Teología y religión
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
International Journal of Advanced Statistics and IT&C for Economics and Life Sciences
Volumen 13 (2023): Edición 1 (December 2023)
Acceso abierto
A Categorical Metamodel for Reactive Kripke Frames
Daniel C. Crăciunean
Daniel C. Crăciunean
| 19 dic 2023
International Journal of Advanced Statistics and IT&C for Economics and Life Sciences
Volumen 13 (2023): Edición 1 (December 2023)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Publicado en línea:
19 dic 2023
Páginas:
3 - 13
DOI:
https://doi.org/10.2478/ijasitels-2023-0001
Palabras clave
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.
Daniel C. Crăciunean
Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering, “Lucian Blaga” University of Sibiu
Romania