Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics Full Written Papers Refereed uri icon

Overview

Published in

  • Lecture Notes in Computer Science

Time

Date/time value

  • 2007

Identity

Digital Object Identifier (DOI)

  • 10.1007/978-3-540-72734-7_12

International Standard Book Number (ISBN) 13

  • 978-3-540-72732-3

Additional Document Info

Parent Title

  • International Symposium on Logical Foundations of Computer Science (LFCS 2007)
  • Logical Foundations of Computer Science, Proceedings

Volume

  • 4514

Issue

  • 1

Publisher

  • Springer Verlag