A syntactic realization theorem for justification logics
From MaRDI portal
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
(14)- Prehistoric graph in modal derivations and self-referentiality
- Realization using the model existence theorem
- Modal logics, justification logics, and realization
- A realization theorem for the Gödel-Löb provability logic
- Labeled sequent calculus for justification logics
- Realization theorems for justification logics: full modularity
- Proof internalization in generalized Frege systems for classical logic
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
- Realization for justification logics via nested sequents: modularity through embedding
- On non-self-referential fragments of modal logics
- A completeness result for implicit justification stit logic
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
- Tableaux and interpolation for propositional justification logics
- Justification logic for intuitionistic modal logic
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)
