Work

Consistent, independent, and distinct propositions. III. Modalities in ${\rm S}6$.

Year: 1983

Type: article

Abstract: In .. Prior ([4], p. 125) conjectured that there are infinitely many nonequivalent modalities in S6. The conjecture readily follows from the results of [6] and [7], S6 is a subsystem of both S10 and SI 1, and in both S10 and Sll we have the theorems ~(p s -* P )(0 <s

Source: Notre Dame Journal of Formal Logic

DOI: 10.1305/ndjfl/1093870227

Author: Anjan Shukla

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2026958326

FWCI:

Cites: 4

Cited by:

Related to: 10