The following pages link to (Q4198476):
Displaying 24 items.
- Undecidable properties of extensions of provability logic. II (Q805607) (← links)
- Expressive power and incompleteness of propositional logics (Q965859) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- A result on the completeness of superintuitionistic logics (Q1059064) (← links)
- Possible worlds semantics: a research program that cannot fail? (Q1062670) (← links)
- Superintuitionistic logics approximated by algebras with the descending chain condition (Q1065787) (← links)
- Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model (Q1163537) (← links)
- Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics (Q1170234) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Modal incompleteness revisited (Q1826934) (← links)
- A new solution to a problem of Hosoi and Ono (Q1893145) (← links)
- Multimodal incompleteness under weak negations (Q1945703) (← links)
- Possibilistic vs. relational semantics for logics of incomplete information (Q2320333) (← links)
- Rudimentary Kripke models for the intuitionistic propositional calculus (Q2367411) (← links)
- B-frame duality (Q2689804) (← links)
- On non-compact logics in NEXT(KTB) (Q3545214) (← links)
- Propositional mixed logic: its syntax and semantics (Q3643261) (← links)
- Incompleteness results in Kripke semantics (Q3984427) (← links)
- ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5 (Q4295212) (← links)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
- (Q5554987) (← links)
- Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic (Q6058202) (← links)
