izvor podataka: crosbi
!
Characteristic classes and bisimulations of generalized Veltman models (CROSBI ID 90989)
Prilog u časopisu | izvorni znanstveni rad
Vuković, Mladen
Characteristic classes and bisimulations of generalized Veltman models // Grazer Mathematische Berichte, 341 (1999), .; 7-16-x
Podaci o odgovornosti
Vuković, Mladen
engleski
Characteristic classes and bisimulations of generalized Veltman models
In the paper is proved that generalized Veltman models (semantics for interpretability logic) defined by de Jongh better distinguish the principles of interpretability than Veltman models. The notion of a bisimulation between generalized Veltman models is defined and the basic property of bisimulation is proved.
interpretability logic; Veltman models
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe
Povezane ustanove