Login / Signup
About the unification type of simple symmetric modal logics.
Philippe Balbiani
Çigdem Gencer
Published in:
CoRR (2019)
Keyphrases
</>
modal logic
inference rules
decision procedures
theorem proving
temporal logic
cooperative
higher order
programming language
default logic