scientific article
From MaRDI portal
Publication:3518429
zbMath1148.03003MaRDI QIDQ3518429
Publication date: 8 August 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicsplittingFregean logicsubstitutionintermediate logicnon-Fregean logicLeibniz congruenceunification typeLindenbaum-Tarski algebra
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Algebraic logic (03G99) Other algebras related to logic (03G25) Intermediate logics (03B55)
Related Items (10)
About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) ⋮ About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ Unnamed Item ⋮ Finitary unification in locally tabular modal logics characterized ⋮ On unification and admissible rules in Gabbay-de Jongh logics ⋮ Unification in epistemic logics ⋮ KD is nullary ⋮ From Formal Theory of Knowledge to Non-Fregean Logic ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Contact Logic is Finitary for Unification with Constants
This page was built for publication:
