Gamma graph calculi for modal logics.

Minghui Ma Ahti-Veikko Pietarinen

Published in: Synth. (2018)

Keyphrases

modal logic
sequent calculi
inference rules
decision procedures
temporal logic
nonmonotonic logics
epistemic logic
random walk
conditional logic
classical logic
graph theory
default logic
graph structure
weighted graph
directed graph
sequent calculus
expert systems