David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 85 (1):75 - 104 (2007)
In , we studied the computational behaviour of various first-order and modal languages interpreted in metric or weaker distance spaces.  gave an axiomatisation of an expressive and decidable metric logic. The main result of this paper is in showing that the technique of representing metric spaces by means of Kripke frames can be extended to cover the modal (hybrid) language that is expressively complete over metric spaces for the (undecidable) two-variable fragment of first-order logic with binary pred-icates interpreting the metric. The frame conditions needed correspond rather directly with a Boolean modal logic that is, again, of the same expressivity as the two-variable fragment. We use this representation to derive an axiomatisation of the modal hybrid variant of the two-variable fragment, discuss the compactness property in distance logics, and derive some results on (the failure of) interpolation in distance logics of various expressive power.
|Keywords||Philosophy Computational Linguistics Mathematical Logic and Foundations Logic|
|Categories||categorize this paper)|
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.
Citations of this work BETA
No citations found.
Similar books and articles
Stéphane Demri & Hans De Nivelle (2005). Deciding Regular Grammar Logics with Converse Through First-Order Logic. Journal of Logic, Language and Information 14 (3):289-329.
Philip Kremer (2009). Dynamic Topological S5. Annals of Pure and Applied Logic 160 (1):96-116.
Guram Bezhanishvili, Leo Esakia & David Gabelaia (2005). Some Results on Modal Axiomatization and Definability for Topological Spaces. Studia Logica 81 (3):325 - 355.
Giangiacomo Gerla (2007). Point-Free Geometry and Verisimilitude of Theories. Journal of Philosophical Logic 36 (6):707 - 733.
Bernhard Heinemann (2010). Using Hybrid Logic for Coping with Functions in Subset Spaces. Studia Logica 94 (1):23 - 45.
Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
Marion Scheepers (1999). Finite Powers of Strong Measure Zero Sets. Journal of Symbolic Logic 64 (3):1295-1306.
Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev (2005). Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables. Bulletin of Symbolic Logic 11 (3):428-438.
Frank Wolter & Michael Zakharyaschev (2005). A Logic for Metric and Topology. Journal of Symbolic Logic 70 (3):795 - 828.
B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev (2006). On Dynamic Topological and Metric Logics. Studia Logica 84 (1):129 - 160.
Added to index2009-01-28
Total downloads8 ( #192,401 of 1,410,275 )
Recent downloads (6 months)1 ( #177,872 of 1,410,275 )
How can I increase my downloads?