Propositional inquisitive logic: a survey
Propositional Dynamic Logic of Regular Programs*+
Propositional Discourse Logic
Propositional Definite Clause
Propositional Calculus
Propositional and Predicate Logic - IX
Propositional and predicate logic - Computing Science
Propositional and First Order Reasoning
PROPERTIES PRESERVED UNDER ALGEBRAIC
Properties of Independently Axiomatizable Bimodal Logics
Properties of binary transitive closure logics over trees
Proofs in theories
Proofs in Propositional Logic
Proofs in Propositional Logic
proofs in mathematics
Proofs in Higher-Order Logic - ScholarlyCommons
PROOFS BY INDUCTION AND CONTRADICTION, AND WELL
PROOFS BY INDUCTION AND CONTRADICTION, AND WELL
Proofs by Contradiction and Contraposition
Proofs as Efficient Programs - Dipartimento di Informatica
