An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware

Monads and Effects

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures

A judgmental reconstruction of modal logic

Mathematical Structures in Computer Science

Proof search in Lax Logic

Mathematical Structures in Computer Science

Computational types from a logical perspective

Journal of Functional Programming

Mathematical modal logic: a view of its evolution

Journal of Applied Logic

Game Semantics for Access Control

Electronic Notes in Theoretical Computer Science (ENTCS)

Label-free proof systems for intuitionistic modal logic IS5

LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning

Sequent calculi and decidability for intuitionistic hybrid logic

Information and Computation

Ternary simulation: refinement of binary functions or abstraction of real-time behaviour?

DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits