Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type (Q3520241)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type |
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
0.90650415
0 references
0.8922744
0 references
0.8735294
0 references
0.87259203
0 references
0.87085545
0 references
0.8688674
0 references
0.86866015
0 references
0.86697865
0 references
