Login / Signup
Complete axiomatization of a relative modal logic with composition and intersection.
Philippe Balbiani
Luis Fariñas del Cerro
Published in:
J. Appl. Non Class. Logics (1998)
Keyphrases
</>
modal logic
complete axiomatization
temporal logic
inference rules
classical logic
epistemic logic
conditional logic
nonmonotonic logics
default logic
explanation based generalization
autoepistemic logic
inclusion dependencies
dynamic logic
prime implicates
situation calculus