Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
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: On some intuitionistic modal logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3669380 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3830979 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On finite linear intermediate predicate logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3472079 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II / rank | |||
Normal rank |
Latest revision as of 15:11, 21 June 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
0 references