Pregled bibliografske jedinice broj: 236594
Some notes on correspondence theory of the system IL
Some notes on correspondence theory of the system IL // Bulletin of Symbolic Logic, 12 (2006), 2. (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 236594 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Some notes on correspondence theory of the system IL
Autori
Vuković, Mladen
Izvornik
Bulletin of Symbolic Logic (0022-4812) 12
(2006), 2;
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
modal logic; correspondence theory
Sažetak
We consider basic operations on generalized Veltman models as disjoint union, generated submodel, bounded morphism, and bisimulation. We define standard translation of interpretability logic.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
0120047
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
Profili:
Mladen Vuković
(autor)
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
Uključenost u ostale bibliografske baze podataka::
- Mathematical Reviews
- Zentralblatt fur Mathematik
