Skip to content
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Servizi bibliotecari
Temi
Architettura e design
Arti
Business e Economia
Chimica
Chimica industriale
Farmacia
Filosofia
Fisica
Geoscienze
Ingegneria
Interesse generale
Legge
Letteratura
Linguistica e semiotica
Matematica
Medicina
Musica
Scienze bibliotecarie e dell'informazione, studi library
Scienze dei materiali
Scienze della vita
Scienze informatiche
Scienze sociali
Sport e tempo libero
Storia
Studi classici e del Vicino Oriente antico
Studi culturali
Studi ebraici
Teologia e religione
Pubblicazioni
Riviste
Libri
Atti
Editori
Journal Matcher
Blog
Contatti
Cerca
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Carrello
Home
Riviste
International Journal of Advanced Statistics and IT&C for Economics and Life Sciences
Volume 13 (2023): Numero 1 (Dicembre 2023)
Accesso libero
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
Cerca questo autore su
Sciendo
|
Google Scholar
Crăciunean, Daniel C.
19 dic 2023
International Journal of Advanced Statistics and IT&C for Economics and Life Sciences
Volume 13 (2023): Numero 1 (Dicembre 2023)
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Sommario
Bibliografia
Autori
Articoli in questo Numero
Anteprima
PDF
Cita
CONDIVIDI
Scarica la copertina
Pubblicato online:
19 dic 2023
Pagine:
3 - 13
DOI:
https://doi.org/10.2478/ijasitels-2023-0001
Parole chiave
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.
