Browsing Revista de Humanidades de Valparaíso by Subject "Arthur Prior; lenguaje de correspondencia de primer orden; representación temporal; nominales; traducciones"
Now showing items 1-1 of 1
-
Hybrid Logic as extension of Modal and Temporal Logic
Humanities Journal of Valparaiso; No 13 (2019): No 13 (2019); 34-67.