A quick guided tour to the modal logic S4.2.

Aggeliki Chalki Costas D. Koutras Yorgos Zikos

Published in: Log. J. IGPL (2018)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
traveling salesman problem
epistemic logic
nonmonotonic logics
classical logic
traveling salesman
situation calculus
conditional logic
default logic
machine learning
dynamic logic
explanation based generalization
model checking