A Two-Dimensional Hybrid Logic of Subset Spaces

DOI10.1007/978-3-540-92701-3_14zbMath1209.03021OpenAlexW1575784435MaRDI QIDQ3601810

No author found.

Publication date: 12 February 2009

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92701-3_14

zbMATH Keywords

hybrid logicGentzen system for hybrid logiclogic of subset spacestwo-sorted hybrid language

Mathematics Subject Classification ID

Combined logics (03B62)

Related Items (1)

Observational Effort and Formally Open Mappings

Cites Work

• Topological reasoning and the logic of knowledge
• Internalization: The Case of Hybrid Logics
• Topological Modal Logics with Difference Modality
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Natural Deduction for Hybrid Logic
• Internalizing labelled deduction

This page was built for publication: A Two-Dimensional Hybrid Logic of Subset Spaces