Ghari, Meghdad 2017. Labeled sequent calculus for justification logics. Annals of Pure and Applied Logic, Vol. 168, Issue. 1, p. 72.
Artemov, Sergei 2016. Readings in Formal Epistemology.
Artemov, Sergei N. and Yavorskaya (Sidon), Tatiana 2016. Binding modalities. Journal of Logic and Computation, Vol. 26, Issue. 1, p. 451.
ARTEMOV, SERGEI and PROTOPOPESCU, TUDOR 2016. INTUITIONISTIC EPISTEMIC LOGIC. The Review of Symbolic Logic, Vol. 9, Issue. 02, p. 266.
Fan, Tuan-Fang and Liau, Churn-Jung 2016. Logics in Artificial Intelligence.
Fitting, Melvin 2016. Modal logics, justification logics, and realization. Annals of Pure and Applied Logic, Vol. 167, Issue. 8, p. 615.
Fitting, Melvin 2016. Realization using the model existence theorem. Journal of Logic and Computation, Vol. 26, Issue. 1, p. 213.
Ghari, Meghdad 2016. Pavelka-style fuzzy justification logics. Logic Journal of IGPL, Vol. 24, Issue. 5, p. 743.
Kuznets, Roman and Studer, Thomas 2016. Weak arithmetical interpretations for the Logic of Proofs. Logic Journal of IGPL, Vol. 24, Issue. 3, p. 424.
Pouliasis, Konstantinos 2016. Logic, Language, Information, and Computation.
Shamkanov, D S 2016. A realization theorem for the Gödel-Löb provability logic. Sbornik: Mathematics, Vol. 207, Issue. 9, p. 1344.
Steren, Gabriela and Bonelli, Eduardo 2016. The first-order hypothetical logic of proofs. Journal of Logic and Computation, p. exv090.
Шамканов, Данияр Салкарбекович and Shamkanov, Daniyar Salkarbekovich 2016. Теорема о реализации для логики доказуемости Гeделя - Лeба. Математический сборник, Vol. 207, Issue. 9, p. 171.
Bavera, F. and Bonelli, E. 2015. Justification logic and audited computation. Journal of Logic and Computation,
Bellin, Gianluigi Carrara, Massimiliano and Chiffi, Daniele 2015. On an intuitionistic logic for pragmatics. Journal of Logic and Computation, p. exv036.
Giordani, Alessandro 2015. A new framework for justification logic. Journal of Applied Non-Classical Logics, Vol. 25, Issue. 4, p. 308.
Kokkinis, Ioannis Maksimović, Petar Ognjanović, Zoran and Studer, Thomas 2015. First steps towards probabilistic justification logic. Logic Journal of IGPL, Vol. 23, Issue. 4, p. 662.
Novak, Natalia 2015. Practical Extraction of Evidence Terms From Common-knowledge Reasoning. Electronic Notes in Theoretical Computer Science, Vol. 312, p. 143.
Protopopescu, Tudor 2015. Logic, Rationality, and Interaction.
Schechter, L. Menasché 2015. A logic of plausible justifications. Theoretical Computer Science, Vol. 603, p. 132.
In 1933 Gödel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Gödel's provability calculus is nothing but the forgetful projection of LP. This also achieves Gödel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus.
This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.
Full text views reflects the number of PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.
Abstract views reflect the number of visits to the article landing page.
* Views captured on Cambridge Core between September 2016 - 29th May 2017. This data will be updated every 24 hours.