Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics.

Published in: SYNASC (2020)

Keyphrases

modal logic
operational semantics
temporal logic
inference rules
decision procedures
cooperative
multi agent systems
software engineering
classical logic
epistemic logic
databases
collaborative learning
formal semantics
dynamic logic