On intuitionistic modal epistemic logic (Q1185042): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q496328 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Heinrich Wansing / rank | |||
Normal rank |
Revision as of 08:34, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On intuitionistic modal epistemic logic |
scientific article |
Statements
On intuitionistic modal epistemic logic (English)
0 references
28 June 1992
0 references
Consider the language of modal propositional logic extended by one new unary operation \(K\) (`it is verified that'). Let \(IKT_ *\) denote the smallest modal system obtained by adding the modal axiom schema (\(*\)) \(A\leftrightarrow\diamondsuit KA\) to the intuitionistic version \(IKT\) of the normal modal propositional logic \(KT\). It is observed that (i) \(\diamondsuit A\) collapses into \(A\) in \(IKT*+\vdash\diamondsuit\diamondsuit A\to\diamondsuit A\) and \(IKT*+\vdash KA\to KKA\), (ii) in \(IKT*\), \(\vdash KA\to A\), (iii) a certain proof of \(A\to KA\) in \(KT+(*)+(c_ \to)\vdash K(A\land B)\to (KA\land KB)\) (called Fitch's problem) does not go through in \(IKT*+(c_ \to)\), (iv) the latter system is not a conservative extension of \(IKT\), (v) \(IKT+(*_ \to)+(\text{Close}_ K)\) is a conservative extension of \(IKT\), where \((*_ \to)\) is the left to right direction of (\(*\)) and \((\text{Close}_ K)\) is a certain strong deductive closure rule for \(K\), and (vi) \(\diamondsuit\), \(\square\), and \(K\) are non-redundant operations in \(IKT*+\text{(Close}_ K)\) (even if Dummett's schema is added) and hence \(A\to KA\) cannot be proved in \(IKT*+(c_ \to)\). Moreover, there is a section on failures of the finite model property. The paper ends with a characterization theorem and certain corollaries thereof for a modal intuitionistic system \(IZ\) wrt the class of all so-called \(Z\)-models.
0 references
modal logic
0 references
epistemic logic
0 references
\(IKT\)
0 references
finite model property
0 references
\(Z\)-models
0 references