Publication:4196401
From MaRDI portal
zbMath0409.03009MaRDI QIDQ4196401
Publication date: 1979
Monograph; Peano Arithmetic; Decidability; Modal Logic; Textbook; Gödel Proof Predicate; Normal System; Unprovability of Consistency
03B45: Modal logic (including the logic of norms)
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B25: Decidability of theories and sets of sentences
03F25: Relative consistency and interpretations
Related Items
A translation from the modal logic of provability into K4, A formalization of Sambins's normalization for GL, On first-order theories with provability operator, European Summer Meeting of the Association for Symbolic Logic, Reflecting in epistemic arithmetic, Fixed points and unfounded chains, European Summer Meeting of the Association for Symbolic Logic, A cut-free sequential system for the propositional modal logic of finite chains, A generalized notion of weak interpretability and the corresponding modal logic, Decidable and enumerable predicate logics of provability, The modal logic of provability: cut-elimination, Modal tableau calculi and interpolation, On some proof theoretical properties of the modal logic GL, Modal logic for other-world agnostics: Neutrality and Halldén incompleteness, Branching versus linear logics yet again, The modal logic of provability. The sequential approach, Graded modalities. I, The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic, Hyperdiagonalizable algebras, An algebraic study of well-foundedness, Uniform self-reference, On superintuitionistic logics as fragments of proof logic extensions, Models for normal intuitionistic modal logics, Models for stronger normal intuitionistic modal logics, Generic generalized Rosser fixed points, Languages with self-reference. II: Knowledge, belief, and modality, Modal operators with probabilistic interpretations. I, On the relation between default and autoepistemic logic, Fixed points in propositional nonmonotonic logic, Provability, truth, and modal logic, Non-monotonic logic. I, A modal sequent calculus for a fragment of arithmetic, Omega-consistency and the diamond, A propositional logic with explicit fixed points, Algebraic and relational semantics for tense logics, Provability: The emergence of a mathematical modality, Explicit fixed points in interpretability logic, Predicate provability logic with non-modalized quantifiers, The logic of linear tolerance, Provability logic without Craig's interpolation property, Rosser and Mostowski sentences, Quantified Quinean \(S5\), The logic of arithmetical hierarchy, Logic of proofs, Representing the knowledge of Turing machines, Self-reference and incompleteness in a non-monotonic setting, Belief closure: A semantics of common knowledge for modal propositional logic, Definability and commonsense reasoning, The fixed point property in modal logic, Mathematical modal logic: A view of its evolution, Incompleteness and the Barcan formula, Syntactical models and fixed points for the basic logic of proofs, A quantified logic of evidence, Note on some fixed point constructions in provability logic, Modal Platonism: an easy way to avoid ontologial commitment to abstract entities, Magari and \(\Delta\)-pseudo-Boolean algebras, Varieties of complex algebras, Explicit Provability and Constructive Semantics, Finite Kripke models and predicate logics of provability, Provability in finite subtheories of PA and relative interpretability: a modal investigation, On the nonexistence of certain normal forms in the logic of provability, Basic Propositional Calculus I
