Alexander V. Chagrov

Publication Activity (10 Years)

Years Active: 1991-2006
Publications (10 Years): 0

Publications

Alexander V. Chagrov, Lilia Chagrova
The Truth About Algorithmic Problems in Correspondence Theory. Advances in Modal Logic (2006)
Alexander V. Chagrov, Mikhail N. Rybakov
How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics. Advances in Modal Logic (2002)
Alexander V. Chagrov, L. A. Chagrova
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames. Stud Logica 55 (3) (1995)
Alexander V. Chagrov, Michael Zakharyaschev
On the Independent Axiomatizability of Modal and Intermediate Logics. J. Log. Comput. 5 (3) (1995)
Alexander V. Chagrov, Valentin B. Shehtman
Algorithmic Aspects of Propositional Tense Logics. CSL (1994)
Alexander V. Chagrov, Michael Zakharyaschev
The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. J. Symb. Log. 58 (3) (1993)
Alexander V. Chagrov, Michael Zakharyaschev
Modal Companions of Intermediate Propositional Logics. Stud Logica 51 (1) (1992)
Alexander V. Chagrov, Michael Zakharyaschev
The disjunction property of intermediate propositional logics. Stud Logica 50 (2) (1991)