Horacio Arlo-Costa, Eric Pacuit  Home/Search
Context
Related
| tark.org/proceedin...262arlocosta.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: tark.org/proceeding...proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we o#er a series of new completeness results for salient classical systems of first order modal logic. Among other results we show that it is possible to prove strong completeness results for normal systems without the Barcan Formula (like FOL+K) in terms of neighborhood... (Update)
Active bibliography (related documents): More All
0.5: Constant Domain Quantified Modal Logics Without Boolean Negation - Greg Restall Greg (Correct)
0.5: Solvable Pseudo-Riemannian Symmetric Spaces - Neukirchner (Correct)
0.5: Church's Thesis And Hume's Problem - Kelly, Schulte (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ arlo-costa-firstorder,
author = "Horacio Arlo-Costa and Eric Pacuit",
title = "First-Order Classical Modal Logic: Applications in logics of knowledge
and probability",
url = "citeseer.ist.psu.edu/762409.html" }
Citations (may not include all citations):604 Reasoning about knowledge (context) - Fagin, Halpern et al. - 1995
343 Modal logic an introduction (context) - Chellas - 1980
119 Alternating-time temporal logic - Alur, Henzinger et al. - 1998
107 A new introduction to modal logic (context) - Hughes, Cresswell - 2001
41 Universal Grammar (context) - Montague - 1970
29 Mathematics of metamathematics (context) - Sikorski - 1963
28 Vicious Circles: On the Mathematics of Non-Wellfounded Pheno.. (context) - Barwise, Moss - 1996
24 The algebra of topology (context) - McKinsey, Tarski
21 First Order Modal Logic (context) - Fitting, Mendelsohn - 1998
14 The logic of games and its applications (context) - Parikh - 1985
14 Cambridge Tracts in Theoretical Computer Science (context) - Blackburn, de Rijke - 2001
10 Probabilistic reasoning under coherence in System P (context) - Gilio - 2002
10 Inference and Necessity (context) - Schotch, Jennings - 1980
9 Advice in modal logic (context) - Scott - 1970
4 the sake of the argument: Ramsey test conditionals (context) - Levi - 1996
4 The inadequacy of neighborhood semantics for modal logic (context) - Gerson - 1975
3 volume 7 of Lecture Notes (context) - Goldblatt - 1992
3 What does a conditional base entails (context) - Lehmann, Magidor - 1992
3 An Introduction to Cylindric Set Algebras (context) - Monk - 2000
2 Finitely additive conditional probabilities, conglomerabilit.. (context) - Dubins - 1975
2 Wiley Classics Library (context) - De Finetti, of - 1990
2 Probabilities Over Rich Languages, Testing and Randomness (context) - Gaifman, Snir - 1982
2 In Defense of the Simplest Quantified Modal Logic - Linsky, Zalta - 1994
1 Two simple incomplete logics (context) - Benthem - 1978
1 Monotonic modal logics - Hansen - 2003
1 Diamonds and Defaults (context) - Benthem, van
1 The Logic of Risky Knowledge (context) - Kyburg, Jr - 2002
1 Qualitative and Probabilistic Models of Full Belief (context) - Costa - 1999
1 Technical Report No (context) - Costa, Parikh et al. - 2003
1 First order extensions of classical systems of modal logic (context) - Costa - 2003
1 Non-Adjunctive Inference and Classical Modalities (context) - Costa - 2003
1 Unifying quantified modal logic (context) - Garson
1 In Defense of the Barcan Formula (context) - Cresswell - 1991
1 Topological semantics for modal logic (context) - Awodey - 2005
1 A model-theoretical abalysis of monotonic knowledge (context) - Vardi - 1985
1 Fine-grained opinion, probability, and the logic of full bel.. (context) - van Fraassen - 1995
1 Intransitivity and vagueness (context) - Halpern - 2004
1 Assigning probability to logical formulas (context) - Scott, Krauss - 1966
Documents on the same site (http://www.tark.org/proceedings/tark_jul10_05/proceedings.html): More
Complexity Results for Logics of Local Reasoning and.. - Martin Allen Computer (Correct)
Understanding Human Strategies for Change: An Empirical Study - Alankar Karol Mary-Anne (Correct)
Decisions under Subjective Information - Stecher (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