A Two-Dimensional Hybrid Logic of Subset Spaces

Authors:
Yi N. Wang
Affiliations:
Philosophy Department, Peking University, Beijing, China 100871
Venue:
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Year:
2009

Citing 3
Cited 1

Topological reasoning and the logic of knowledge

TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Knowledge and common knowledge in a distributed environment

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Natural Deduction for Hybrid Logic

Journal of Logic and Computation

Observational Effort and Formally Open Mappings

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logics of space typically involve two sorts of entities, points and sets, and so are amenable for investigation using hybrid modal languages with nominals for both sorts. As Hilbert systems for these logics are quite complicated, Gentzen systems are used in this paper, first for the basic two-dimensional hybrid logic and then for the logic of subset spaces, which needs additional rules. This provides a foothold from which to consider extensions to neighborhood and topological logics, and also application fields such as epistemic and doxastic logics.