Equivalence Criteria for Compositional IF Modal Logics
Tero Tulenheimo, Manuel RebuschiVolume:
231
Year:
2009
Language:
english
Pages:
21
DOI:
10.1016/j.entcs.2009.02.034
File:
PDF, 468 KB
english, 2009