bn:01658126n
Noun Concept
FR
No term available
EN
A second-order propositional logic is a propositional logic extended with quantification over propositions. Wikipedia
Sources