Using hybrid logic for coping with functions in subset spaces

DOI10.1007/s11225-010-9226-xzbMath1196.03035OpenAlexW2052420015MaRDI QIDQ965902

Bernhard Heinemann

Publication date: 26 April 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9226-x

zbMATH Keywords

completenessdecidabilityhybrid logicsoundnessfunctional modalitiesmodal logic of subset spacesMoss and Parikh's modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

An Alternative Logic for Knowability

Cites Work

• Dynamic epistemic logic
• A hybrid logic for reasoning about knowledge and topology
• Topological reasoning and the logic of knowledge
• Handbook of Spatial Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Using hybrid logic for coping with functions in subset spaces