Pages that link to "Item:Q2937693"
From MaRDI portal
The following pages link to Model-theoretic characterization of intuitionistic predicate formulas (Q2937693):
Displaying 9 items.
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747) (← links)
- A Lindström theorem for intuitionistic propositional logic (Q2176405) (← links)
- On generalized van Benthem-type characterizations (Q2358625) (← links)
- Proof-irrelevant model of CC with predicative induction and judgmental equality (Q3224695) (← links)
- (Q4035302) (← links)
- A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
- Models of intuitionistic TT and NF (Q4842637) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
- A van Benthem theorem for atomic and molecular logics (Q6659900) (← links)