Login / Signup
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic.
Harsh Beohar
Barbara König
Sebastian Küpper
Christina Mika-Michalski
Published in:
CMCS (2022)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
default logic
classical logic
conditional logic
first order logic
dynamic logic
prime implicates
sequent calculus
explanation based generalization
description logic alc