The following pages link to Self-reference and modal logic (Q1078163):
Displaying 50 items.
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Collapsing probabilistic hierarchies. I (Q384407) (← links)
- The paradox of the knower revisited (Q392283) (← links)
- The de Jongh property for basic arithmetic (Q481876) (← links)
- A note on the diagonalizable algebras of PA and ZF (Q685077) (← links)
- On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability (Q685078) (← links)
- On the complexity of arithmetical interpretations of modal formulae (Q688859) (← links)
- Faith \& falsity (Q705533) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- Interacting explicit evidence systems (Q929292) (← links)
- Self-referential justifications in epistemic logic (Q987374) (← links)
- Languages with self-reference. II: Knowledge, belief, and modality (Q1101099) (← links)
- Arithmetic analogues of McAloon's unique Rosser sentences (Q1114685) (← links)
- On the proof of Solovay's theorem (Q1176096) (← links)
- Rosser orderings and free variables (Q1176097) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
- The logic of arithmetical hierarchy (Q1315831) (← links)
- Logic of proofs (Q1326774) (← links)
- On bimodal logics of provability (Q1332858) (← 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 decision problem of provability logic with only one atom (Q1423633) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Axiomatizing provable \(n\)-provability (Q1732059) (← links)
- On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
- The knower paradox in the light of provability interpretations of modal logic (Q1778104) (← links)
- A course on bimodal provability logic (Q1891253) (← links)
- A set-theoretic translation method for polymodal logics (Q1904398) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- A remark on equivalent Rosser sentences (Q2470037) (← links)
- A quantified logic of evidence (Q2478547) (← links)
- Referential logic of proofs (Q2500486) (← links)
- Paradoxes of interaction? (Q2516581) (← links)
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
- Hard provability logics (Q2658282) (← links)
- Explicit Provability and Constructive Semantics (Q2732527) (← links)
- (Q2776807) (← links)