Pregled bibliografske jedinice broj: 1169593
Tableau-based translation from first-order logic to modal logic
Tableau-based translation from first-order logic to modal logic // Reports on Mathematical Logic, 56 (2021), 57-74 doi:10.4467/20842589RM.21.006.14375 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 1169593 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Tableau-based translation from first-order logic to modal logic
Autori
Perkov, Tin ; Mikec, Luka
Izvornik
Reports on Mathematical Logic (0137-2904) 56
(2021);
57-74
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
modal logic ; bisimulation invariance ; tableaux
Sažetak
We define a procedure for translating a given first-order formula to an equivalent modal formula, if one exists, by using tableau-based bisimulation invariance test. A previously developed tableau procedure tests bisimulation invariance of a given first-order formula, and therefore tests whether that formula is equivalent to the standard translation of some modal formula. Using a closed tableau as the starting point, we show how an equivalent modal formula can be effectively obtained.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
HRZZ-UIP-2017-05-9219 - Formalno rasuđivanje i semantike (FORMALS) (Perkov, Tin, HRZZ - 2017-05) ( CroRIS)
HRZZ-IP-2018-01-7459 - Izračunljive strukture, odlučivost i složenost (CompStruct) (Iljazović, Zvonko, HRZZ - 2018-01) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb,
Učiteljski fakultet, Zagreb
Citiraj ovu publikaciju:
Časopis indeksira:
- 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::
- MathSciNet
