Login / Signup
Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω.
Richard Zach
Published in:
J. Philos. Log. (2004)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
propositional logic
default logic
natural deduction
description logics
query answering
first order logic
decision procedures
normal form
bayesian networks
data model
proof theoretic