A Many-sorted Polyadic Modal Logic.

Ioana Leustean Natalia Moanga Traian-Florin Serbanuta

Published in: Fundam. Informaticae (2020)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
default logic
situation calculus
prime implicates
conditional logic
model checking
sequent calculus