The Proof Theory and Semantics of Intuitionistic Modal Logic

Eνότητες  2.1.1, 2.2

A Short Introduction to Intuitionistic Logic

Eνότητες  2.1, 2.2, 2.3

Chapter 7 Kripke Models

Chapter 8:  Propositional System LJpm,  ενότητα 8.1