Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type (Q3520241)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type |
scientific article |
Statements
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type (English)
0 references
15 August 2008
0 references
quantified propositional logics
0 references
Gödel logics
0 references
quantifier elimination
0 references
