Pages that link to "Item:Q4711191"
From MaRDI portal
The following pages link to The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames (Q4711191):
Displaying 4 items.
- Speaking about transitive frames in propositional languages (Q1289105) (← links)
- On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains (Q1577172) (← links)
- Rudimentary Kripke models for the intuitionistic propositional calculus (Q2367411) (← links)
- A remark on propositional Kripke frames sound for intuitionistic logics (Q2904065) (← links)