Tableau-based translation from first-order logic to modal logic (CROSBI ID 303509)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Perkov, Tin ; Mikec, Luka
engleski
Tableau-based translation from first-order logic to modal logic
We define a procedure for translating a given first-order formula to an equivalent modal formula, if one exists, by using tableau-based bisimulation invariance test. A previously developed tableau procedure tests bisimulation invariance of a given first-order formula, and therefore tests whether that formula is equivalent to the standard translation of some modal formula. Using a closed tableau as the starting point, we show how an equivalent modal formula can be effectively obtained.
modal logic ; bisimulation invariance ; tableaux
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
56
2021.
57-74
objavljeno
0137-2904
2084-2589
10.4467/20842589RM.21.006.14375