Melvin Fitting  Home/Search
Context Related
| cuny.edu/fitting/bookspapers...foil.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cuny.edu/fitting/bookspape...phil (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: First-order modal logic is very much under current development, with many di#erent semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several semantics based on counterparts have been examined, in a development that goes back to David Lewis. (Update)
Context of citations to this paper: More
...the same theory. This is not generally true for frames. However, adopting a modi cation of coherence frames proposed by Melvin Fitting in [3], namely balanced coherence frames (in [3] the corresponding frames are called Riemann FOIL frames) it can indeed be shown that for...
Cited by: More
The Semantics of Modal Predicate Logic II. Modal Individuals.. - Kracht, Kutz (Correct)
Active bibliography (related documents): More All
1.4: Advances in Modal Logic, Volume 3 - Wolter, Wansing, de Rijke.. (2000) (Correct)
0.7: Quantifcation in Nonclassical Logic - Gabbay, Shehtman, Skvortsov (2004) (Correct)
0.7: Databases and Higher Types - Fitting (2000) (Correct)
Similar documents based on text: More All
0.8: Many-Valued Modal Logics - Fitting (1992) (Correct)
0.7: Well-Founded Semantics, Generalized - Fitting (1991) (Correct)
0.7: On Quantified Modal Logic - Fitting (1999) (Correct)
BibTeX entry: (Update)
Melvin Fitting, First-order intensional logic, Proccedings of the Alfred Tarski Centenary Conference (D. Niwinski and J. Wolenski, editors), Warsaw, May 28{June 1, 2001, to appear. http://citeseer.ist.psu.edu/fitting03firstorder.html More
@misc{ fitting01firstorder,
author = "M. Fitting",
title = "First-order intensional logic",
text = "Melvin Fitting, First-order intensional logic, Proccedings of the Alfred
Tarski Centenary Conference (D. Niwinski and J. Wolenski, editors), Warsaw,
May 28{June 1, 2001, to appear.",
year = "2001",
url = "citeseer.ist.psu.edu/fitting03firstorder.html" }
Citations (may not include all citations):242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
102 Semantical considerations on modal logics (context) - Kripke - 1963
53 Strongly analytic tableaux for normal modal logics - Massacci - 1994
21 Tableau methods for modal and temporal logics - Gore - 1996
21 First-Order Modal Logic (context) - Fitting, Mendelsohn - 1998
18 Intensional and Higher-Order Modal Logic (context) - Gallin - 1975
15 Tableau methods of proof for modal logics (context) - Fitting - 1972
13 How completeness and correspondence theory got married (context) - Kracht - 1993
10 Counterpart theory and quantified modal logic (context) - Lewis - 1968
9 Incompleteness results in Kripke semantics (context) - Ghilardi - 1991
6 Selected Papers of Richard Montague (context) - Thomason, Philosophy - 1974
6 Pragmatics and intensional logic (context) - Montague - 1970
6 the nature of certain philosophical entities (context) - Montague - 1960
5 Modality and databases - Fitting - 2000
4 Maximal Kripke-type semantics for modal and superintuitionis.. (context) - Skvortsov, Shehtman - 1993
3 The semantics of modal predicate logic (context) - Kracht, Kutz - 2001
2 Databases and higher types - Fitting - 2000
2 Quantified extensions of canonical propositional intermediat.. (context) - Ghilardi - 1992
2 Modal logics between propositional and first-order - Fitting - 2002
2 Algebraic Kripke sheaf semantics for non-classical logics (context) - Suzuki - 1999
2 Duality in superintuitionistic and modal predicate logics (context) - Shirasu - 1998
2 Counterparts of persons and their bodies (context) - Lewis - 1971
1 Handbook of Tableau Methods (context) - D'Agostino, Gabbay et al. - 1999
1 Kripke-type Semantiken fur die modale Pradikatenlogik (context) - Kutz - 2000
1 The semantics of modal predicate logic II (context) - Kracht, Kutz - 2000
1 A logic that needs multiple counterpart relations (context) - Kutz - 2001
1 and Godel's God (context) - Fitting, Tableaus - 2002
1 New semantics for modal predicate logics (context) - Kutz - 2002
1 Modal semantics (context) - Slater - 1989
Documents on the same site (http://comet.lehman.cuny.edu/fitting/bookspapers/phil.html): More
A Theory of Truth that prefers falsehood - Fitting (1994) (Correct)
Modal Logic Should Say More Than It Does - Fitting (1991) (Correct)
Barcan Both Ways - Fitting (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC