Indexed actuality (Q5947380): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
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 |
Latest revision as of 20:58, 3 June 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