Using Hybrid Logic for Coping with Functions in Subset Spaces

Studia Logica 94 (1):23-45 (2010)
  Copy   BIBTEX

Abstract

We extend Moss and Parikh’s modal logic for subset spaces by adding, among other things, state-valued and set-valued functions. This is done with the aid of some basic concepts from hybrid logic. We prove the soundness and completeness of the derived logics with regard to the class of all correspondingly enriched subset spaces, and show that these logics are decidable.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-010-9226-x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2007 - Journal of Logic, Language and Information 17 (1):19-41.
Completeness of Certain Bimodal Logics for Subset Spaces.M. Angela Weiss & Rohit Parikh - 2002 - Studia Logica 71 (1):1-30.
A Modal Logic for Discretely Descending Chains of Sets.Heinemann Bernhard - 2004 - Studia Logica 76 (1):67 - 90.
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.
Reusing Topological Nexttime Logic.Bernhard Heinemann - 2020 - Studia Logica 108 (6):1207-1234.
Logics for multi-subset spaces.Bernhard Heinemann - 2010 - Journal of Applied Non-Classical Logics 20 (3):219-240.
Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.
Announcement as effort on topological spaces.Aybüke Özgün, Sophia Knight & Hans Ditmarsch - 2019 - Synthese 196 (7):2927-2969.
Announcement as effort on topological spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - 2019 - Synthese 196 (7):2927-2969.
Some Results on Modal Axiomatization and Definability for Topological Spaces.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2005 - Studia Logica 81 (3):325-355.

Analytics

Added to PP
2010-01-23

Downloads
49 (#447,191)

6 months
7 (#704,497)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.

Add more citations

References found in this work

Topological reasoning and the logic of knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.
Topological Nexttime Logic.Bernhard Heinemann - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 99-112.
A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2007 - Journal of Logic, Language and Information 17 (1):19-41.
Topological Nexttime Logic.Bernhard Heinemann - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 99-112.

Add more references