Skip to content
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Servicios bibliotecarios
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
Journal Matcher
Blog
Contacto
Buscar
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 (Diciembre 2023)
Acceso abierto
A Categorical Metamodel for Reactive Kripke Frames
Daniel C. Crăciunean
Daniel C. Crăciunean
Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering, “Lucian Blaga” University of Sibiu
Romania
Buscar este autor en
Sciendo
|
Google Scholar
Crăciunean, Daniel C.
19 dic 2023
International Journal of Advanced Statistics and IT&C for Economics and Life Sciences
Volumen 13 (2023): Edición 1 (Diciembre 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
Descargar portada
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.
