Indexed actuality (Q5947380): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modality and Mellor's McTaggart / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4170702 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axioms for actuality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4698331 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Necessity and truth theories / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1017915417449 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4239390739 / rank | |||
Normal rank |
Latest revision as of 10:31, 30 July 2024
scientific article; zbMATH DE number 1661016
Language | Label | Description | Also known as |
---|---|---|---|
English | Indexed actuality |
scientific article; zbMATH DE number 1661016 |
Statements
Indexed actuality (English)
0 references
6 June 2002
0 references
In natural languages the term `actually' is used ambiguously. The author formalizes propositional and quantified modal logics with indices ascribed to the modal operator of necessity and to the `actuality operator', which should make it possible to avoid the ambiguities. Both systems, together with extensions of six systems of standard modal logic, are proved to be sound and complete. The latter are shown to be decidable in the case of propositional logic.
0 references
propositional modal logic
0 references
quantified modal logic
0 references
actuality
0 references