Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic.

Yoshihiro Maruyama

Published in: ICLA (2009)

Keyphrases

modal logic
classical logic
valued logic
temporal logic
default logic
real time
situation calculus
dynamic logic