TitleA Two-Dimensional Hybrid Logic of Subset Spaces
AuthorsWang, Yi N.
AffiliationPeking Univ, Dept Philosophy, Beijing 100871, Peoples R China.
Keywordshybrid logic
two-sorted hybrid language
logic of subset spaces
Gentzen system for hybrid logic
Issue Date2009
CitationLOGIC AND ITS APPLICATIONS.5378(196-209).
AbstractLogics 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.
URIhttp://hdl.handle.net/20.500.11897/406386
ISSN0302-9743
DOI10.1007/978-3-540-92701-3_14
IndexedEI
CPCI-S(ISTP)
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®



Checked on Last Week

Scopus®



Checked on Current Time

百度学术™



Checked on Current Time

Google Scholar™





License: See PKU IR operational policies.