Pages that link to "Item:Q392298"
From MaRDI portal
The following pages link to Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298):
Displaying 4 items.
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Prehistoric graph in modal derivations and self-referentiality (Q1678748) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)