The following pages link to Realizations and LP (Q636276):
Displaying 5 items.
- Modal logics, justification logics, and realization (Q286591) (← links)
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298) (← links)
- Realization for justification logics via nested sequents: modularity through embedding (Q435202) (← links)
- The ontology of justifications in the logical setting (Q454364) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
