Models for stronger normal intuitionistic modal logics (Q1096613): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4132480 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4196401 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A modal extension of intuitionist logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: MIPC as the formalisation of an intuitionist concept of modality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3867808 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5582318 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantical investigations in Heyting's intuitionistic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A closure and complement result for nested topologies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3900023 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5559220 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank |
Latest revision as of 13:56, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Models for stronger normal intuitionistic modal logics |
scientific article |
Statements
Models for stronger normal intuitionistic modal logics (English)
0 references
1985
0 references
This paper, a sequel to the one reviewed above (see Zbl 0634.03014), which dealt with intuitionistic analogues of the modal system \({\mathbb{K}}\), deals similarly with intuitionistic analogues of systems stronger than \({\mathbb{K}}\), and, in particular, analogues of S4 and S5. For these propositional logics Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given, and soundness and completeness are proved with respect to these models. It is shown how the holding of formulae characteristic for particular logics is equivalent to conditions for the relations of the models. Modalities in these logics are also investigated. It is shown that in intuitionistic S4 with the necessity operator primitive there are finitely many modalities, whereas with the possibility operator primitive there are infinitely many.
0 references
modal logic
0 references
intuitionistic logic
0 references
Kripke-style models
0 references
modalities
0 references