Pages that link to "Item:Q2804327"
From MaRDI portal
The following pages link to Realization using the model existence theorem (Q2804327):
Displaying 7 items.
- Modal logics, justification logics, and realization (Q286591) (← links)
- Realization for justification logics via nested sequents: modularity through embedding (Q435202) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- A syntactic realization theorem for justification logics (Q2904046) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- Possibilistic Justification Logic (Q5278213) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)