Conservativity for logics of justified belief: Two approaches

Annals of Pure and Applied Logic 163 (7):809-819 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.09.015

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Modal logics, justification logics, and realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.
Separation logic and logics with team semantics.Darion Haase, Erich Grädel & Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103063.
Propositional team logics.Fan Yang & Jouko Väänänen - 2017 - Annals of Pure and Applied Logic 168 (7):1406-1441.
Axiomatizations of team logics.Martin Lück - 2018 - Annals of Pure and Applied Logic 169 (9):928-969.
Propositional logics of dependence.Fan Yang & Jouko Väänänen - 2016 - Annals of Pure and Applied Logic 167 (7):557-589.
Proof complexity of substructural logics.Raheleh Jalali - 2021 - Annals of Pure and Applied Logic 172 (7):102972.
The logic of justified belief, explicit knowledge, and conclusive evidence.Alexandru Baltag, Bryan Renne & Sonja Smets - 2014 - Annals of Pure and Applied Logic 165 (1):49-81.
On elementary logics for quantitative dependencies.Miika Hannula, Minna Hirvonen & Juha Kontinen - 2022 - Annals of Pure and Applied Logic 173 (10):103104.
Completeness results for memory logics.Carlos Areces, Santiago Figueria & Sergio Mera - 2012 - Annals of Pure and Applied Logic 163 (7):961-972.
Completeness results for memory logics.Carlos Areces, Santiago Figueira & Sergio Mera - 2012 - Annals of Pure and Applied Logic 163 (7):961-972.

Analytics

Added to PP
2013-10-27

Downloads
42 (#368,366)

6 months
3 (#1,206,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
Labeled sequent calculus for justification logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
Justifications, Ontology, and Conservativity.Roman Kuznets & Thomas Studer - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 437-458.

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.
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.

Add more references