Fork algebras as a sufficiently rich universal institution
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, several prepositional monomodal logics, prepositional and first-order dynamic logic, and prepositional and first-order linea...
Guardado en:
| Autores principales: | López Pombo, Carlos Gustavo, Frias, Marcelo |
|---|---|
| Publicado: |
2006
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v4019LNCS_n_p235_Pombo http://hdl.handle.net/20.500.12110/paper_03029743_v4019LNCS_n_p235_Pombo |
| Aporte de: |
Ejemplares similares
-
Fork algebras as a sufficiently rich universal institution
por: Pombo, C.G.L., et al. -
Interpretability of first-order linear temporal logics in fork algebras
por: Frias, M.F., et al. -
Interpretability of first-order linear temporal logics in fork algebras
Publicado: (2006) -
Reasoning about static and dynamic properties in alloy: A purely relational approach
por: Frias, Marcelo, et al.
Publicado: (2005) -
Reasoning about static and dynamic properties in alloy: A purely relational approach
por: Frias, M.F., et al.