The following pages link to Alexander Chagrov (Q1181480):
Displaying 49 items.
- (Q757338) (redirect page) (← links)
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Undecidable properties of extensions of provability logic. II (Q805607) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Continuality of the set of maximal superintuitionistic logics with the disjunction property (Q1311077) (← links)
- A model existence theorem in infinitary propositional modal logic (Q1332142) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- A method to single out maximal propositional logics with the disjunction property. I (Q1902974) (← links)
- A method to single out maximal propositional logics with the disjunction property. II (Q1902977) (← links)
- Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859) (← links)
- Hybrid languages (Q1909610) (← links)
- Decidable modal logic with undecidable admissibility problem (Q2366361) (← links)
- (Q2751815) (← links)
- (Q2751831) (← links)
- (Q2804039) (← links)
- (Q3128959) (← links)
- (Q3314542) (← links)
- (Q3475247) (← links)
- (Q3509049) (← links)
- (Q4268416) (← links)
- The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
- (Q4277697) (← links)
- (Q4294472) (← links)
- (Q4424658) (← links)
- (Q4440788) (← links)
- (Q4440791) (← links)
- (Q4467748) (← links)
- (Q4474858) (← links)
- (Q4475079) (← links)
- (Q4544191) (← links)
- (Q4723713) (← links)
- (Q4789045) (← links)
- (Q4789048) (← links)
- (Q4789158) (← links)
- (Q4789450) (← links)
- On the Independent Axiomatizability of Modal and Intermediate Logics (Q4835534) (← links)
- (Q4866422) (← links)
- (Q4870562) (← links)
- (Q4873968) (← links)
- (Q4942000) (← links)
- (Q5202988) (← links)
- (Q5395258) (← links)
- (Q5436707) (← links)
- (Q5436708) (← links)
- (Q5465436) (← links)
- (Q5692444) (← links)
- (Q5692815) (← links)
- (Q5752630) (← links)
