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