scientific article
From MaRDI portal
Publication:3671938
zbMath0522.03007MaRDI QIDQ3671938
Publication date: 1982
Full work available at URL: https://eudml.org/doc/209239
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilityconsistencycompletenessKripke semanticsfinitely axiomatized normal modal logic in m modal operators
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items (2)
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
This page was built for publication:
