Authors
Melvin Fitting
CUNY Graduate Center
Abstract
The logic S4LP combines the modal logic S4 with the justification logic LP, both axiomatically and semantically. We introduce a simple restriction on the behavior of constants in S4LP, having no effect on the LP sublogic. Under this restriction some powerful derived rules are established. Then these are used to show completeness relative to a semantics having what we call the local realizability property: at each world and for each formula true at that world there is a realization also true at that world, where a realization is the result of replacing all modal operators with explicit justification terms. This is a part of a project to understand the deeper aspects of Artemov’s Realization Theorem.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Justifications, Ontology, and Conservativity.Roman Kuznets & Thomas Studer - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 437-458.

Add more citations

Similar books and articles

A Quantified Logic of Evidence.Melvin Fitting - 2008 - Annals of Pure and Applied Logic 152 (1):67-83.
Multiple Realizability.Ronald P. Endicott - 2005 - In D. Borchert (ed.), Encyclopedia of Philosophy, 2nd edition. Thomson Gale, Macmillan Reference.
A General Notion of Realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.
Constructival Plasticity.Ronald P. Endicott - 1994 - Philosophical Studies 74 (1):51-75.
Realizations and LP.Melvin Fitting - 2010 - Annals of Pure and Applied Logic 161 (3):368-387.
The Logic of Proofs, Semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.

Analytics

Added to PP index
2009-07-31

Total views
22 ( #518,006 of 2,533,643 )

Recent downloads (6 months)
2 ( #260,743 of 2,533,643 )

How can I increase my downloads?

Downloads

My notes