The following pages link to Realizations and LP (Q636276):
Displaying 12 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)
- Practical extraction of evidence terms from common-knowledge reasoning (Q530856) (← links)
- Realizing public announcements by justifications (Q2453578) (← links)
- Making knowledge explicit: how hard it is (Q2500480) (← links)
- A realization theorem for the Gödel-Löb provability logic (Q2957859) (← links)
- Cut Elimination and Realization for Epistemic Logics with Justification (Q3165756) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic (Q3455862) (← links)
