On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations Journal Articles Refereed uri icon

Overview

Published in

  • Annals of Pure and Applied Logic

Time

Date/time value

  • 2009

Additional Document Info

Parent Title

  • Annals of Pure and Applied Logic

Volume

  • 161

Issue

  • 3

Publisher

  • Elsevier BV