Abstract
In the paper Justification logics and hybrid logics, Melvin Fitting initiated the idea of combining justification logics and hybrid logics into a single system. However, for some technical reason, he presented a basic-hybrid justification logic \(\mathsf {JT}\) instead of \(\mathsf {J}\) with proving completeness theorem and realization theorem. The task of weakening this logic to \(\mathsf {J}\) was left as an open problem in conclusion. This paper aims at solving this problem to further facilitate the proof of the properties of this logic as well as the derivation of other members of this logic family.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
C. Areces, B. ten Cate, in: Hybrid Logics, ed. by P. Blackburn, J. van Benthem and F. Wolter, Handbook of Modal Logic. Elsevier, Amsterdam, 2007, 821–868.
S. N. Artemov, Logic of Proofs, Annals of Pure and Applied Logic. Volume 67, 1994, 29–59.
S. N. Artemov, Explicit Provability and Constructive Semantics, The Bulletin of Symbolic Logic. Volume 7, Number 1, March 2001, 1–36.
S. N. Artemov, The Logic of Justification, The Review of Symbolic Logic. Volume 1, Number 4, December 2008, 477–513.
P. Blackburn, M. de. Rijke, Y. Venema, Modal Logic, “Tracts in Theoretical Computer Science”. Cambridge University Press, 2001.
P. Blackburn, B. ten. Cate, Pure Extensions, Proof Rules, and Hybrid Axiomatics, Studia Logica. Volume 84, 2006, 277–322.
M. Fitting, The Logic of Proofs, Semantically, Annals of Pure and Applied Logic. Volume 132, February 2005, 1–25.
M. Fitting, Justification Logics, Logics of Knowledge, and Conservativity, Annals of Mathematics and Artificial Intelligence, Volume 53, August 2008, 153–167.
M. Fitting, Justification Logics and Hybrid Logics, Journal of Applied Logic, volume 8, issue 4, December 2010, 356–370.
K. Gödel, Eine Interpretation des intuistionistischen Aussagenkalkuls, Ergebnisse eines mathematischen kolloquiums 4 (1933), 39–40, translated as An interpretation of the intuitionistic propositional calculus, in: S. Feferman (ed.), Kurt Gödel Cellected Works, vol. I. Oxford University Press, 1986, 296–301.
K. Gödel, Vortrag bei Zilsel, 1938, translated as Lecture at Zilesls, in: S. Feferman et al (eds.), Kurt Gödel Collected Works, vol. III. Oxford University Press, 2002.
R. Goetschi, R. Kuznetz, Realization for Justification Logics via Nested Sequents: Modularity through Embedding, Annals of Pure and Applied Logic, Volume 163, Issue 9, September 2012, 1271–1298.
A. Mkrtychev, Models for the Logic of Proofs, in: S. Adian, A. Nerode (eds.), Logical Foundations of Computer Science Proceedings of the 4th International Symposium, LFCS’97. Yaroslavl, Russia, July 6–12, 1997, in: LNCS 1234, Springer, 1997, 266–275.
L. Schröder, D. Pattinson, Named Models in Coalgebraic Hybrid Logic, 27th International Symposium on Theoretical Aspects of Computer Science, Volume 5, January 2010, 1–12.
L. Wittgenstein, Tractatus Logico-Philosophicus, Routledge & Kegan Paul, 1961, English translation by D.F. Pears and B.F. McGuinness, Original German publication, 1921.
Acknowledgments
This work is supported by The National Social Science Funds of China (12BZX061, Names of Possible Worlds). We would like to express our gratitude to all those who helped us during the writing of this paper. First, we are deeply indebted to the host of the second Asian Workshop on Philosophical Logic who are very hospitable to us in Sun Yat-sen University and the anonymous referee who gave us a significant review about our paper. Second, sincere thanks should go to Melvin Fitting and Patrick Blackburn who considered this paper in the M&M 2014, and provided us with valuable advice. Last not the least, we should extent our gratitude to Dr. Haixia Man whose revising is of help and importance for the final version the the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Zhu, R., Liu, X. (2015). The Minimal System of Justification Logic with Names. In: Ju, S., Liu, H., Ono, H. (eds) Modality, Semantics and Interpretations. Logic in Asia: Studia Logica Library. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47197-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-662-47197-5_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47196-8
Online ISBN: 978-3-662-47197-5
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)