Login / Signup
Remarks about the unification types of some locally tabular normal modal logics.
Philippe Balbiani
Çigdem Gencer
Maryam Rostamigiv
Tinko Tinchev
Published in:
Log. J. IGPL (2023)
Keyphrases
</>
modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
theorem proving
classical logic
epistemic logic
knowledge base
higher order
default logic
state space