From Intuitionism to Many-Valued Logics through Kripke Models.

Published in: CoRR (2020)

Keyphrases

modal logic
kripke models
decision procedures
temporal logic
inference rules
classical logic
default logic
situation calculus
multi agent
model checking