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 !

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

Podaci o izdanju

54 (4)

2008.

359-364

objavljeno

0942-5616

Povezanost rada

Matematika

Indeksiranost