Pages that link to "Item:Q1264135"
From MaRDI portal
The following pages link to A logic characterized by the class of connected models with nested domains (Q1264135):
Displaying 6 items.
- Gentzen calculi for the existence predicate (Q817698) (← links)
- Completeness theorem for Dummett's LC quantified and some of its extensions (Q1207344) (← links)
- Directed frames (Q1264137) (← links)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
