Description of Modal Logics Inheriting Admissible Rules for S4.

Vladimir V. Rybakov Çigdem Gencer Tahsin Oner

Published in: Log. J. IGPL (1999)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
epistemic logic
high level
association rules
situation calculus
default logic
rule sets
theorem proving
production rules
classification rules
model checking
autoepistemic logic
fuzzy logic
sequent calculus