Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:08, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics |
scientific article |
Statements
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (English)
0 references
1990
0 references
The paper proves some translation theorems for intuitionistic modal logics (IML) using Kripke bundle semantics for intermediate predicate logics (IPL). They are based on the correspondence between Kripke bundles (introduced by the reviewer and \textit{D. P. Skvortsov} [``Semantics of non-classical first-order predicate logics'', in: Mathematical logic (\textit{P. Petkov} (ed.)) (1990)]) and intuitionistic modal frames (introduced by \textit{H. Ono} [Publ. Res. Inst. Math. Sci., Kyoto Univ. 13, 687-722 (1977; Zbl 0373.02026)]). More precisely, let \(\psi\) be a translation from (intuitionistic) modal propositional formulas to predicate formulas transforming \(\square\) to \(\forall x\) and \(\diamondsuit\) to \(\exists x\). An IML K is a modal analogue of an IPL L \((<K,L>\) is an associate, in terms of the paper) iff \(K\vdash A\Leftrightarrow L\vdash \psi (A)\) for any formula A. R. Bull and H. Ono constructed modal analogues of H (intuitionistic logic) and \(H+D\) (the logic of constant domains). The author gives simpler proofs of these results and also finds modal analogues of \(H+\tilde P_ n\), \(H+\tilde P_ n+D\) (\(\tilde P_ n\) is a predicate formula axiomatizing Kripke frames of height \(\leq n)\).
0 references
intuitionistic modal logics
0 references
Kripke bundle semantics
0 references
intermediate predicate logics
0 references
intuitionistic modal frames
0 references