The following pages link to (Q3880811):
Displaying 11 items.
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Inquisitive logic (Q626493) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- On maximal intermediate logics with the disjunction property (Q1097260) (← links)
- A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice (Q1112802) (← links)
- On representation of finite pseudo-Boolean algebras and one of its applications (Q1206268) (← links)
- The modal logic of Bayesian belief revision (Q2281313) (← links)
- Finite problems and the logic of the weak law of excluded middle (Q2387846) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- An Application of the Yankov Characteristic Formulas (Q5886461) (← links)