Modal logics of succession for 2-dimensional integral spacetime

2024-12-05 Classification：language Click()
Author：Phillips, JF

Article Title：Modal logics of succession for 2-dimensional integral spacetime

Abstract：
We consider the problem of axiomatizing various natural 'successor' logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic int he 'standard' modal language (i.e. the language containing rectangle and <>) is not finitely axiomatizable.

Keywords:  modal logic; multi-dimensional modal logic; spacetime

DOI: 10.1023/A:1017502425876

Source：JOURNAL OF PHILOSOPHICAL LOGIC

Welcome to correct the error, please contact email: humanisticspider@gmail.com

Related Reading

Dative: The heterogeneity of the mapping among morphological case, grammatical functions, and thematDative: The heterogeneity of the mapping among morphological case, grammatical functions, and themat
Word segmentation by 8-month-olds: When speech cues count more than statisticsWord segmentation by 8-month-olds: When speech cues count more than statistics
The Spanish of Mexico: A partially annotated bibliography for 1990-99 with updates for 1970-89, partThe Spanish of Mexico: A partially annotated bibliography for 1990-99 with updates for 1970-89, part
Domesticity in middle dutch 'secrets of men and women'Domesticity in middle dutch 'secrets of men and women'