- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Realization for justification logics via nested sequents: Modularity through embedding
Annals of Pure and Applied Logic 163 (9):1271-1298 (2012)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Modal interpolation via nested sequents.Melvin Fitting & Roman Kuznets - 2015 - Annals of Pure and Applied Logic 166 (3):274-305.
Modal logics, justification logics, and realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Tableaux and hypersequents for justification logics.Hidenori Kurokawa - 2012 - Annals of Pure and Applied Logic 163 (7):831-853.
Characterising modal definability of team-based logics via the universal modality.Katsuhiko Sano & Jonni Virtema - 2019 - Annals of Pure and Applied Logic 170 (9):1100-1127.
Nested Sequents for Intuitionistic Logics.Melvin Fitting - 2014 - Notre Dame Journal of Formal Logic 55 (1):41-61.
Embedding causal team languages into predicate logic.Fausto Barbero & Pietro Galliani - 2022 - Annals of Pure and Applied Logic 173 (10):103159.
Modularity results for interpolation, amalgamation and superamalgamation.Silvio Ghilardi & Alessandro Gianola - 2018 - Annals of Pure and Applied Logic 169 (8):731-754.
Small embedding characterizations for large cardinals.Peter Holy, Philipp Lücke & Ana Njegomir - 2019 - Annals of Pure and Applied Logic 170 (2):251-271.
Models of intuitionistic set theory in subtoposes of nested realizability toposes.Samuele Maschio & Thomas Streicher - 2015 - Annals of Pure and Applied Logic 166 (6):729-739.
Analytics
Added to PP
2013-10-27
Downloads
39 (#398,051)
6 months
7 (#594,125)
2013-10-27
Downloads
39 (#398,051)
6 months
7 (#594,125)
Historical graph of downloads
Citations of this work
The Ontology of Justifications in the Logical Setting.Sergei N. Artemov - 2012 - Studia Logica 100 (1-2):17-30.
Labeled sequent calculus for justification logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
Modal interpolation via nested sequents.Melvin Fitting & Roman Kuznets - 2015 - Annals of Pure and Applied Logic 166 (3):274-305.
Tableaux and Interpolation for Propositional Justification Logics.Meghdad Ghari - 2024 - Notre Dame Journal of Formal Logic 65 (1):81-112.
Weak arithmetical interpretations for the Logic of Proofs.Roman Kuznets & Thomas Studer - 2016 - Logic Journal of the IGPL 24 (3):424-440.
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 proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Deep sequent systems for modal logic.Kai Brünnler - 2009 - Archive for Mathematical Logic 48 (6):551-577.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-sqlzn uwo