scientific article
From MaRDI portal
Publication:2904046
zbMath1254.03029MaRDI QIDQ2904046
Remo Goetschi, Roman Kuznets, Kai Brünnler
Publication date: 5 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Labeled sequent calculus for justification logics ⋮ Prehistoric graph in modal derivations and self-referentiality ⋮ Proof internalization in generalized Frege systems for classical logic ⋮ Self-referentiality of Brouwer-Heyting-Kolmogorov semantics ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ Realization for justification logics via nested sequents: modularity through embedding ⋮ On non-self-referential fragments of modal logics
This page was built for publication:
