Login / Signup
Description of Modal Logics Inheriting Admissible Rules for K4.
Çigdem Gencer
Published in:
Log. J. IGPL (2002)
Keyphrases
</>
modal logic
inference rules
decision procedures
temporal logic
default logic
nonmonotonic logics
epistemic logic
high level
situation calculus
association rules
rule sets
classical logic
classification rules
case based reasoning
production rules
state space
search algorithm