scientific article; zbMATH DE number 3635994
From MaRDI portal
Publication:4196401
DecidabilityGödel Proof PredicateModal LogicMonographNormal SystemPeano ArithmeticTextbookUnprovability of Consistency
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) Modal logic (including the logic of norms) (03B45) Relative consistency and interpretations (03F25)
Cited in
(74)- 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
- The omega-rule interpretation of transfinite provability logic
- Incompleteness and the Barcan formula
- Syntactical models and fixed points for the basic logic of proofs
- On inclusions between quantified provability logics
- Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq
- A proof theory for the logic of provability in true arithmetic
- One-step modal logics, intuitionistic and classical. II
- The scope of Gödel's first incompleteness theorem
- A quantified logic of evidence
- Note on some fixed point constructions in provability logic
- Interpolation properties for provability logics GL and GLP
- 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
- 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
- Topological interpretations of provability logic
- Reflecting in epistemic arithmetic
- Marginalia on a theorem of Woodin
- A cut-free sequential system for the propositional modal logic of finite chains
- Fixed points and unfounded chains
- European Summer Meeting of the Association for Symbolic Logic
- The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}
- A generalized notion of weak interpretability and the corresponding modal logic
- Logics of import and export for the implicative conditional
- Interpolation properties for the bimodal provability logic \textbf{GR}
- 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
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4196401)
