Login / Signup
Review of "Modal Logic for Philosophers by James W. Garson, " Cambridge University Press, 2006, pp. 471.
Mordechai Ben-Menachem
Published in:
ACM SIGSOFT Softw. Eng. Notes (2008)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
epistemic logic
situation calculus
default logic
classical logic
conditional logic
prime implicates
case study
nonmonotonic logics
dynamic logic
explanation based generalization
autoepistemic logic
e learning
multi agent systems
artificial intelligence