Login / Signup
A Framework for Intuitionistic Modal Logics.
Gordon D. Plotkin
Colin Stirling
Published in:
TARK (1986)
Keyphrases
</>
modal logic
temporal logic
logical framework
np hard
classical logic