The following pages link to (Q4397069):
Displayed 50 items.
- A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS (Q2940885) (← links)
- A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs (Q2957670) (← links)
- The Logic of Justification (Q2971696) (← links)
- Some Computational Constraints in Epistemic Logic (Q2971698) (← links)
- Build your own clarithmetic I: Setup and completeness (Q2974779) (← links)
- An Epistemic Logic with Hypotheses (Q3094014) (← links)
- SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS (Q3195586) (← links)
- Paraconsistent or Paracomplete? (Q3305660) (← links)
- The Henkin Sentence (Q3454817) (← links)
- Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework (Q3647231) (← links)
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis (Q4467046) (← links)
- Realization of Intuitionistic Logic by Proof Polynomials (Q4531579) (← links)
- MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (Q4577994) (← links)
- A note on Barcan formula (Q4586237) (← links)
- Labelling ideality and subideality (Q4632306) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY (Q4918381) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS (Q4984860) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)
- A Non-Standard Kripke Semantics for the Minimal Deontic Logic (Q5013618) (← links)
- Modal Logics that Bound the Circumference of Transitive Frames (Q5015972) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
- THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES (Q5065132) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)
- (Q5111325) (← links)
- Logical analysis of emotions in text from natural language (Q5114311) (← links)
- (Q5119390) (← links)
- SELF-REFERENCE IN ARITHMETIC I (Q5176165) (← links)
- A PARAMETRIC, RESOURCE-BOUNDED GENERALIZATION OF LÖB’S THEOREM, AND A ROBUST COOPERATION CRITERION FOR OPEN-SOURCE GAME THEORY (Q5207557) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- An Arithmetical Interpretation of Verification and Intuitionistic Knowledge (Q5283437) (← links)
- The mathematical significance of proof theory (Q5301856) (← links)
- Partitioning Kripke frames of finite height (Q5349257) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- The modal logic of forcing (Q5437615) (← links)
- Symmetric Logic of Proofs (Q5452174) (← links)
- Worms, gaps, and hydras (Q5462986) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- Which modal logic is the right one? (Q5937846) (← links)
- Rules and arithmetics (Q5937848) (← links)
- An open formalism against incompleteness (Q5937853) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)