Reasoning about proof and knowledge

Annals of Pure and Applied Logic 170 (2):218-250 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.10.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reasoning about equilibria in game-like concurrent systems.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Annals of Pure and Applied Logic 168 (2):373-403.
A completeness proof for adapted probability logic.H. Jerome Keisler - 1986 - Annals of Pure and Applied Logic 31:61-70.
Proof complexity of substructural logics.Raheleh Jalali - 2021 - Annals of Pure and Applied Logic 172 (7):102972.
Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.
On the proof theory of Coquand's calculus of constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.
On the proof complexity of logics of bounded branching.Emil Jeřábek - 2023 - Annals of Pure and Applied Logic 174 (1):103181.
Proof complexity of intuitionistic implicational formulas.Emil Jeřábek - 2017 - Annals of Pure and Applied Logic 168 (1):150-190.
Algebraic proof theory: Hypersequents and hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.

Analytics

Added to PP
2018-10-11

Downloads
44 (#509,414)

6 months
10 (#422,339)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
Abolition of the Fregean Axiom.Roman Suszko - 1975 - Lecture Notes in Mathematics 453:169-239.
Investigations into the sentential calculus with identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.
Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.

View all 9 references / Add more references