Conference Proceedings

Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics

JM Davoren, SN Artemov (ed.), A Nerode (ed.)

Logical Foundations of Computer Science | SPRINGER-VERLAG BERLIN | Published : 2007