On Definability in multimodal logic

Joseph Y. Halpern, Dov Samet, Ella Segev

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Fingerprint

Dive into the research topics of 'On Definability in multimodal logic'. Together they form a unique fingerprint.

Arts & Humanities

Mathematics