The modal logic of `all and only' (Q1097872): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(5 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1305/ndjfl/1093636937 / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Louis F. Goble / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Louis F. Goble / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093636937 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2099236069 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1305/NDJFL/1093636937 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 15:24, 10 December 2024

scientific article
Language Label Description Also known as
English
The modal logic of `all and only'
scientific article

    Statements

    The modal logic of `all and only' (English)
    0 references
    0 references
    1987
    0 references
    A statement \(\square A\) expresses all-necessity if \(\square A\) is true in a world x iff A is true in all worlds y such that xRy. \(\square A\) expresses only-necessity, however, if \(\square A\) is true in x iff A is true only in worlds y such that xRy, i.e. for all worlds y, if A is true in y, then xRy. The weakest system of all-necessity is K; the weakest system of only-necessity is anti-K (in which the K rule: if \(\vdash A_ 1\&...\&A_ n\supset B\), then \(\vdash \square A_ 1\&...\&\square A_ n\supset \square B\), is replaced by: if \(\vdash A\supset B_ 1\vee...\vee B_ n\), then \(\vdash \square B_ 1\&...\&\square B_ n\supset \square A)\). What then is the weakest system for all-\&-only necessity, whereby \(\square A\) is true in x iff A is true in all and only worlds y such that xRy, i.e. A is true in y if and only if xRy ? That system is defined here, and shown to be sound and complete. The axioms and rules, however, prove to be much more complicated than one might at first expect.
    0 references
    modal logic
    0 references
    all-necessity
    0 references
    only-necessity
    0 references

    Identifiers