Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics.

Guy Axelrod Willem Conradie

Published in: PAAR+SC²@IJCAR (2024)

Keyphrases

decision procedures
modal logic
temporal logic
inference rules
epistemic logic
situation calculus
model theoretic
optimal solution
model checking
default logic
nonmonotonic logics
modal operators
machine learning
multi agent systems
knowledge representation
automated reasoning