Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
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

341 (.)

1999.

7-16-x

objavljeno

1016-7692

Povezanost rada

Matematika