Browsing Revista de Humanidades de Valparaíso by Subject "Arthur Prior; First-Order Correspondence Language; Temporal Representation; Nominals; Translations"
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.