Craig interpolation
article-link
What links here
Propositional variable
Stanford Research Institute Problem Solver
article-link
Propositional formula
article-link
Binary data
article-link
Belief revision
article-link
Admissible rule
article-link
Method of analytic tableaux
article-link
Predicate variable
article-link
Lindenbaum–Tarski algebra
article-link
Kripke semantics
article-link
Linear temporal logic
article-link
Löb's theorem
article-link
Material conditional
article-link
Well-formed formula
article-link
Truth value
article-link
Disjunctive normal form
article-link
Conjunctive normal form
article-link
Fuzzy set
article-link
Natural deduction
article-link
Variable
article-link
Propositional logic
article-link
First-order logic
article-link
Axiom
article-link
Proposition variable
redirect
Sentential variable
redirect