izvor podataka: crosbi
!
Bisimulations between generalized Veltman models and Veltman models (CROSBI ID 141030)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Vuković, Mladen
Bisimulations between generalized Veltman models and Veltman models // Mathematical logic quarterly, 54 (2008), 4; 359-364
Podaci o odgovornosti
Vuković, Mladen
engleski
Bisimulations between generalized Veltman models and Veltman models
Interpretability logic is an extension of provability logic. Veltman models and generalized Veltman models are two semantics for interpretability logic. We consider a connection between Veltman semantics and generalized Veltman semantics. We prove that for a complete image-finite generalized Veltman model W there exists a Veltman model W' that is bisimular to W.
modal logic; interpretability logic; Veltman semantics
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano