Standard Gödel Modal Logics.

Xavier Caicedo Ricardo Oscar Rodríguez

Published in: Stud Logica (2010)

Keyphrases

modal logic
inference rules
decision procedures
temporal logic
nonmonotonic logics
epistemic logic
default logic
classical logic
artificial intelligence
database systems
theorem proving