On the complexity of the disjunction property in intuitionistic and modal logics.

Mauro Ferrari Camillo Fiorentini Guido Fiorino

Published in: ACM Trans. Comput. Log. (2005)

Keyphrases

modal logic
classical logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
theorem prover
cooperative
default logic
fuzzy set theory
autoepistemic logic
linear logic
sequent calculus
artificial intelligence
fuzzy sets