Pregled bibliografske jedinice broj: 688241
Tableau-based bisimulation invariance testing
Tableau-based bisimulation invariance testing // Reports on mathematical logic, 48 (2013), 101-115 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 688241 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Tableau-based bisimulation invariance testing
Autori
Perkov, Tin
Izvornik
Reports on mathematical logic (0137-2904) 48
(2013);
101-115
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
modal logic; bisimulation invariance
Sažetak
A tableau procedure that tests bisimulation invariance of a given first-order formula, and therefore tests if that formula is equivalent to the standard translation of some modal formula, is presented. The test is sound and complete: a given formula is bisimulation invariant if and only if there is a closed tableau for that formula. The test generally does not terminate, but it does if a given formula is bisimulation invariant, i.e., the test is positive.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
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
