Volker Halbach, Hannes Leitgeb, Philip Welch  Home/Search
Context Related
| maths.bris.ac.uk/~mapd...pwsint30Neu.ps 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: maths.bris.ac.uk/~mapdw/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We develop possible worlds semantics for as a predicate rather than as an operator of sentences. The unary predicate symbol is added to the language of arithmetic (or an extension thereof); this yields the language L . Every world in our possible worlds semantics is the standard model of arithmetic plus an interpretation of . We investigate possible{worlds models where pAq is true at a world w if and only if A is true in all worlds seen by w. The paradoxes exclude certain frames... (Update)
Cited by: More
Possible-Worlds Semantics for Modal Notions Conceived as.. - Halbach, Leitgeb, Welch (2002) (Correct)
Active bibliography (related documents): More All
0.7: On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, .. - Welch (Correct)
0.6: Logical Theories for Agent Introspection - Bolander (2003) (Correct)
0.6: A Type-Free Formalization of Mathematics Where Proofs Are Objects - Dowek (1996) (Correct)
Similar documents based on text: More All
0.1: Psychological Investigations of Human Nonmonotonic Reasoning with .. - Pfeifer (2002) (Correct)
0.1: MUltlog 1.0: Towards an Expert System for Many-valued Logics - Baaz, al. (1996) (Correct)
0.1: Interpolation in Algebraizable Logics; Semantics for.. - Madarász (1998) (Correct)
BibTeX entry: (Update)
Volker Halbach, Hannes Leitgeb, and Philip Welch, Possible worlds semantics for predicates, Intensionality (Los Angeles) (Reinhard Kahle, editor), Association for Symbolic Logic, 2002, to appear. http://citeseer.ist.psu.edu/halbach02possible.html More
@misc{ halbach02possible,
author = "V. Halbach and H. Leitgeb and P. Welch",
title = "Possible worlds semantics for predicates",
text = "Volker Halbach, Hannes Leitgeb, and Philip Welch, Possible worlds semantics
for predicates, Intensionality (Los Angeles) (Reinhard Kahle, editor), Association
for Symbolic Logic, 2002, to appear.",
year = "2002",
url = "citeseer.ist.psu.edu/halbach02possible.html" }
Citations (may not include all citations):120 Elementary induction on abstract structures (context) - Moschovakis - 1974
107 A new introduction to modal logic (context) - Hughes, Cresswell - 1996
56 Theory of recursive functions and e ective computability (context) - Rogers - 1967
38 Cambridge University Press (context) - Boolos, of - 1993
29 Perspectives in Mathematical Logic (context) - Barwise, sets - 1975
22 A note on syntactical treatments of modality (context) - Thomason - 1980
16 The revision theory of truth (context) - Belnap, Gupta - 1993
15 Quality and concept (context) - Bealer - 1982
11 Oxford Logic Guides (context) - Chagrov, Zakharyaschev et al. - 1997
10 Notes on naive semantics (context) - Herzberger - 1982
10 Truth and paradox (context) - Gupta - 1982
4 An axiomatic approach to selfreferential truth (context) - Friedman, Sheard - 1987
4 Re ecting on incompleteness (context) - Feferman - 1991
4 How truthlike can a predicate be (context) - McGee - 1985
4 Annals of Pure and Applied Logic (context) - Rathjen, of et al. - 1994
3 A system of complete and consistent truth (context) - Halbach - 1994
2 with corollaries on re- exion principles and nite axiomatiza.. (context) - Montague, of - 1963
2 and Raymond Turner (context) - Asher, Kamp et al. - 1989
2 Inductive de nitions and re ecting properties of admissible .. (context) - Aczel, Richter - 1973
2 Theories of truth which have no standard models (context) - Leitgeb - 2001
2 A guide to truth predicates in the modern era (context) - Sheard - 1994
1 The incomplete universe: Totality (context) - Grim - 1991
1 Possible worlds semantics for modal notions conceived as pre.. - Halbach, Leitgeb et al.
1 Contemporary perspectives in the philosophy of language (context) - revisited - 1977
1 A theory of truth formally equivalent to ID (context) - Cantini - 1990
1 Natural language's semantic closure (context) - Slater
1 Studies in Logic and the Foundations of Mathematics (context) - for, abstraction et al. - 1996
1 seriesProof Theory (context) - Sch - 1970
1 Handbook of philosophical logic (context) - Visser, the - 1989
1 Three grades of modal involvemen (context) - Quine - 1976
Documents on the same site (http://www.maths.bris.ac.uk/~mapdw/): More
On Unfoldable Cardinals and the beginning of the inner model.. - Welch (2001) (Correct)
On Possible Non-Homeomorphic Substructures Of The Real Line - Welch (Correct)
P^f ≠ NP^f for almost all f - Hamkins, Welch (2002) (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