The following pages link to L.A.Chagrova (Q1337511):
Displaying 18 items.
- Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- A new solution to a problem of Hosoi and Ono (Q1893145) (← links)
- A Łukasiewicz-style refutation system for the modal logic S4 (Q1908788) (← links)
- Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859) (← links)
- Taming logic (Q1909607) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- (Q3509049) (← links)
- (Q3807178) (← links)
- An undecidable problem in correspondence theory (Q3984404) (← links)
- (Q4215594) (← links)
- (Q4475079) (← links)
- The decidability of dependency in intuitionistic propositional logic (Q4842626) (← links)
- (Q5436708) (← links)
- (Q5692444) (← links)
- (Q5752542) (← links)
- (Q5753927) (← links)
