Journal of Applied Logic 8 (4):356-370 (2010)

Authors
Melvin Fitting
CUNY Graduate Center
Abstract
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine these two ideas into a single system, and in this paper we make a start. We present a hybrid/justification version of the modal logic T. We give a semantics, a proof theory, and prove a completeness theorem. In addition, we prove a Realization Theorem, something that plays a central role for justification logics generally. Since justification logics are newer and less well-known than hybrid logics, we sketch their background, and give pointers to their range of applicability. We conclude with suggestions for future research. Indeed, the main goal of this paper is to encourage others to continue the investigation begun here.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.jal.2010.08.007
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,784
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
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.
Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
The Logic of Proofs, Semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.

View all 7 references / Add more references

Citations of this work BETA

Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
Modal Logics, Justification Logics, and Realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.
Lower Complexity Bounds in Justification Logic.Samuel R. Buss & Roman Kuznets - 2012 - Annals of Pure and Applied Logic 163 (7):888-905.

Add more citations

Similar books and articles

Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
Decision Procedures for Some Strong Hybrid Logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
Hybrid Logics of Separation Axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.
Modal Logics, Justification Logics, and Realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.
Branching-Time Logics Repeatedly Referring to States.Volker Weber - 2009 - Journal of Logic, Language and Information 18 (4):593-624.
Pavelka-Style Fuzzy Justification Logics.Meghdad Ghari - 2016 - Logic Journal of the IGPL 24 (5):743-773.
Meeting Strength in Substructural Logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.
Advances in the ŁΠ and Logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.

Analytics

Added to PP index
2009-06-23

Total views
50 ( #218,301 of 2,463,160 )

Recent downloads (6 months)
1 ( #449,391 of 2,463,160 )

How can I increase my downloads?

Downloads

My notes