A spatial modal logic with a location interpretation

DOI10.1002/malq.200510001zbMath1079.03010OpenAlexW1964098890MaRDI QIDQ5462985

Norihiro Kamide

Publication date: 1 August 2005

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200510001

zbMATH Keywords

cut eliminationKripke semanticsfinite model propertyspatial operatorsspatial modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Linear and affine logics with temporal, spatial and epistemic operators

Cites Work

• Displaying the modal logic of consistency
• Unnamed Item

This page was built for publication: A spatial modal logic with a location interpretation