The following pages link to (Q4196401):
Displayed 50 items.
- A cut-free sequential system for the propositional modal logic of finite chains (Q585187) (← links)
- A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
- Decidable and enumerable predicate logics of provability (Q750418) (← links)
- The modal logic of provability: cut-elimination (Q790809) (← links)
- Modal tableau calculi and interpolation (Q798647) (← links)
- On some proof theoretical properties of the modal logic GL (Q798649) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- The modal logic of provability. The sequential approach (Q1056745) (← links)
- Graded modalities. I (Q1065786) (← links)
- The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic (Q1068069) (← links)
- Hyperdiagonalizable algebras (Q1078181) (← links)
- An algebraic study of well-foundedness (Q1087540) (← links)
- Uniform self-reference (Q1088657) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Models for normal intuitionistic modal logics (Q1096612) (← links)
- Models for stronger normal intuitionistic modal logics (Q1096613) (← links)
- Generic generalized Rosser fixed points (Q1099165) (← links)
- Languages with self-reference. II: Knowledge, belief, and modality (Q1101099) (← links)
- Modal operators with probabilistic interpretations. I (Q1102938) (← links)
- On the relation between default and autoepistemic logic (Q1104771) (← links)
- Fixed points in propositional nonmonotonic logic (Q1115426) (← links)
- Provability, truth, and modal logic (Q1135843) (← links)
- Non-monotonic logic. I (Q1140441) (← links)
- A modal sequent calculus for a fragment of arithmetic (Q1150597) (← links)
- Omega-consistency and the diamond (Q1153905) (← links)
- A propositional logic with explicit fixed points (Q1156789) (← links)
- Algebraic and relational semantics for tense logics (Q1162503) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- Explicit fixed points in interpretability logic (Q1176094) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- The logic of linear tolerance (Q1207342) (← links)
- Provability logic without Craig's interpolation property (Q1263572) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- Quantified Quinean \(S5\) (Q1310623) (← links)
- The logic of arithmetical hierarchy (Q1315831) (← links)
- Logic of proofs (Q1326774) (← links)
- Representing the knowledge of Turing machines (Q1330015) (← links)
- Self-reference and incompleteness in a non-monotonic setting (Q1332147) (← links)
- Belief closure: A semantics of common knowledge for modal propositional logic (Q1377482) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- The fixed point property in modal logic (Q1409307) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Incompleteness and the Barcan formula (Q1896788) (← links)
- Syntactical models and fixed points for the basic logic of proofs (Q1924755) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq (Q2142084) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- One-step modal logics, intuitionistic and classical. II (Q2240543) (← links)