Abstract
This paper concerns modal logics appearing from the temporal ordering of domains in two-dimensional Minkowski spacetime. As R. Goldblatt has proved recently, the logic of the whole plane isS4.2. We consider closed or open convex polygons and closed or open domains bounded by simple differentiable curves; this leads to the logics:S4,S4.1,S4.2 orS4.1.2.
Similar content being viewed by others
References
J. P. Burgess,Decidability for branching time,Studia Logica 39 (1980), pp. 203–218.
А. Л. Дпагалин,Mamемamuческuŭ Йнmуuцuонuэм. Вве¶rt;енuе в Теопuю Докaэamельсmв, Mockвa, 1979.
K. Fine,The logics containing S4.3,Zeitschrift für mathematische Logik und Grundlagen der Mathematik 17 (1971), pp. 371–376.
K. Fine,Logics containing K 4,Journal of Symbolic Logic 39 (1974), pp. 31–43.
K. Fine,An ascending chain of S4logics,Theoria 40 (1974), pp. 110–116.
K. Fine,An incomplete logic containing S 4,Theoria 40 (1974), pp. 23–29.
D. Gabbay,General filtration method for modal logic,Journal of Philosophical Logic 1 (1972), pp. 29–34.
D. Gabbay,Tense systems with discrete moments of time,Journal of Philosophical Logic 1 (1972), pp. 35–44.
R. Goldblatt,Diodorean modality in Minkowski spacetime,Studia Logica 39 (1980), pp. 41–61.
G. E. Hughes,Omnitemporal logic and nodal time,Reports on Mathematical Logic, No. 8 (1977), pp. 41–61.
А. В. Куэецов, В. Я. Герчйу,О конечно аксuомаuэuруемых суnерuнmуuцuонuсmскuх логuках, Докла¶rt;ы AH CCCP 195 (1970), c. 1263–1266.
J. C. C. McKinsey, A. Tarski,The algebra of topology,Annals of Mathematics, 44 (1945), pp. 141–191.
O. Ore,Theory of Graphs, Providence, 1962.
K. Segerberg,Modal logics with linear alternative relations,Theoria 36 (1970), pp. 301–322.
K. Segerberg,Decidability of S4.1,Theoria 34 (1968), pp. 7–20.
K. Segerberg,An Essay in Classical Modal Logic, v. 1–3,Filosofiska Studier, Uppsala, 1971.
K. Segerberg,Two dimensional modal logic,Journal of Philosophical Logic 2 (1973), pp. 77–96.
В. Б Щехтман,О некоmорых расщuренuях мо¶rt;алdьноŭ логuкu S4, In:IV Всесоюэная конференцuя nо маmемаmuческоŭ логцке, Кйщйнев, 1976, c. 159.
В. Б.Щехтман, Пвумерные mо¶rt;альные логuкu,Маmемаmuческuе эамеmкu, 23, (1978), c. 759–772.
В. Б. Щэштмах,Нераэпещuмое суnерuнmуцuонuсmское uсчuсленuе выскаэыванuŭ, Докла¶rt;ы AH CCCP, 240 (1978), c. 549–552.
С. К. Соболев,Проблемы раэрещuмосmu u фuнumноŭ аnnроксuремосmu nлоскuх суnепuнmуuцuонuсмскuх логuк, In:VII Всесоюэныŭ сuмnоэuум nо логuке u меmо¶rt;ологuu наукu, Киев, 1976, c. 143–245.
С. К. Соболэв,О конечномерных суnерuнmуuцuонuсmскuх логкuах, Иэвесmuя AH CCCP, 41 (1977), c. 963–986.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Shehtman, V.B. Modal logics of domains on the real plane. Stud Logica 42, 63–80 (1983). https://doi.org/10.1007/BF01418760
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01418760