Fibring Modal First-Order Logics: Completeness Preservation.

Amílcar Sernadas Cristina Sernadas Alberto Zanardo

Published in: Log. J. IGPL (2002)

Keyphrases

modal logic
conditional logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
classical logic
first order logic
higher order
epistemic logic
linear temporal logic
horn clauses
situation calculus
default logic
coalition logic
dynamic logic
digital objects
model checking
database