Pages that link to "Item:Q4276033"
From MaRDI portal
The following pages link to The undecidability of the disjunction property of propositional logics and other related problems (Q4276033):
Displaying 11 items.
- Canonical formulas for a paraconsistent analog of the Scott logic (Q431702) (← links)
- A new solution to a problem of Hosoi and Ono (Q1893145) (← links)
- On variable separation in modal and superintuitionistic logics (Q1896757) (← links)
- Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)
