The following pages link to (Q4397069):
Displaying 50 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← links)
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Positive provability logic for uniform reflection principles (Q392274) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- On provability logics with linearly ordered modalities (Q456968) (← links)
- Rosser-type undecidable sentences based on Yablo's paradox (Q484194) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- The modal logic of Gödel sentences (Q600852) (← links)
- A modal provability logic of explicit and implicit proofs (Q636278) (← links)
- Kripke semantics for provability logic GLP (Q636316) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Unwinding modal paradoxes on digraphs (Q830367) (← links)
- Semantics for dual preferential entailment (Q839649) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- An impossibility theorem on beliefs in games (Q863184) (← links)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Expressive power and incompleteness of propositional logics (Q965859) (← links)
- On modal \(\mu \)-calculus and Gödel-Löb logic (Q1015480) (← links)
- Jump liars and Jourdain's card via the relativized T-scheme (Q1015486) (← links)
- Around provability logic (Q1035652) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Completeness and definability in the logic of noncontingency (Q1347608) (← links)
- The structure of lattices of subframe logics (Q1361249) (← 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)
- On the desirability of mechanizing calculational proofs (Q1607098) (← links)
- Saving the truth schema from paradox (Q1610606) (← links)
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
- Boolean paradoxes and revision periods (Q1685479) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
- Automated search for Gödel's proofs (Q1772785) (← links)
- Paraconsistent informational logic (Q1775866) (← links)
- The knower paradox in the light of provability interpretations of modal logic (Q1778104) (← links)
- Modal logic interpretation of Dempster-Shafer theory: An infinite case (Q1809349) (← links)
- A revenge-immune solution to the semantic paradoxes (Q1810819) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
- Modal extensions of sub-classical logics for recovering classical logic (Q1945706) (← links)
