scientific article
From MaRDI portal
Publication:3760514
zbMath0623.03022MaRDI QIDQ3760514
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
axiomatizabilitypredicate modal logicPA-provable predicate laws of provabilitypredicate provability logics
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Structure of proofs (03F07)
Related Items (6)
Franco Montagna's work on provability logic and many-valued logic ⋮ An Arithmetically Complete Predicate Modal Logic ⋮ AN ESCAPE FROM VARDANYAN’S THEOREM ⋮ Algebraization of quantifier logics, an introductory overview ⋮ A generalized notion of weak interpretability and the corresponding modal logic ⋮ European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
This page was built for publication:
