An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics (Q1224086): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: That All Normal Extensions of S4.3 Have the Finite Model Property / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A normal logic that is complete for neighborhood frames but not for Kripke frames / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The inadequacy of the neighbourhood semantics for modal logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Neighbourhood Frame for T with No Equivalent Relational Frame / rank | |||
Normal rank | |||
Latest revision as of 17:18, 12 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics |
scientific article |
Statements
An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics (English)
0 references
1976
0 references
