propositional

adj.

建议的，提议的；命题的；

propositional logic命题逻辑

propositional calculus命题演算

Results on the propositional μ-calculus
Results on the propositional μ-calculus
Results on the propositional μ-calculus
Results on the Propositional mu-Calculus.
The complexity of propositional linear temporal logics
The complexity of propositional linear temporal logics
The complexity of propositional linear temporal logics
On the Complexity of Derivation in Propositional Calculus
On the Complexity of Derivation in Propositional Calculus
On the complexity of derivations in the propositional calculus