Completeness and decidability results for some propositional modal logic containing 'actually&#

2024-12-05 Classification：language Click()
Author：Gregory, D

Article Title：Completeness and decidability results for some propositional modal logic containing 'actually' operators

Abstract：
The addition of 'actually' operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captures in logics formulated in simpler languages. Previous work on modal logics containing 'actually' operators has concentrated entirely upon extensions of KT5 and has employed a particular model-theoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing 'actually' operators, the weakest of which ae conservative extensions of K, using a novel generalization of the standard semantics.

Keywords:  modal logic; possible worlds semantics; 'actually' operators; rigidifiers

DOI: 10.1023/A:1017579410231

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'