A sequent calculus for 3-dimensional space

Authors:
Norihiro Kamide
Affiliations:
Waseda Institute for Advanced Study, Waseda University, Tokyo, Japan
Venue:
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Year:
2010

Citing 3
Cited 1

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

Computational Logic in Multi-Agent Systems

Synchronized Linear-Time Temporal Logic

Studia Logica

Quantified Score

Hi-index	0.00

Visualization

Abstract

A central issue for spatial reasoning in practice is to formalize reasoning about 3-dimensional space. In this paper, a spatial logic called 3-dimensional spatial logic (3SL), which can appropriately represent the 3-Cartesian product ω3 of the set ω of natural numbers, is introduced as a Gentzen-type sequent calculus. 3SL is an extension and generalization of the linear-time temporal logic LTL in which the time domain is ω The completeness and cut-elimination theorems for 3SL are proved.