A syntactic realization theorem for justification logics
From MaRDI portal
Publication:2904046
Recommendations
- Realization for justification logics via nested sequents: modularity through embedding
- Realization theorems for justification logics: full modularity
- Realization using the model existence theorem
- Modal logics, justification logics, and realization
- Realization theorem for epistemic logic with justification
Cited in
(13)- Proof internalization in generalized Frege systems for classical logic
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
- Tableaux and interpolation for propositional justification logics
- Modal logics, justification logics, and realization
- Prehistoric graph in modal derivations and self-referentiality
- Realization using the model existence theorem
- Labeled sequent calculus for justification logics
- Realization for justification logics via nested sequents: modularity through embedding
- A completeness result for implicit justification stit logic
- On non-self-referential fragments of modal logics
- A realization theorem for the Gödel-Löb provability logic
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
- Realization theorems for justification logics: full modularity
This page was built for publication: A syntactic realization theorem for justification logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2904046)
