Beth Deenability for the Guarded Fragment
暂无分享,去创建一个
[1] Evert W. Beth,et al. On Padoa’s Method in the Theory of Definition , 1953 .
[2] István Németi,et al. Cylindric-relativised set algebras have strong amalgamation , 1985, Journal of Symbolic Logic.
[3] Ildikó Sain,et al. Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic , 1988, Algebraic Logic and Universal Algebra in Computer Science.
[4] Klaus Schild,et al. A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.
[5] Finite variable logics , 1993, Bull. EATCS.
[6] maarten marx. Algebraic Relativization and Arrow Logic , 1995 .
[7] Moshe Y. Vardi. Why is Modal Logic So Robustly Decidable? , 1996, Descriptive Complexity and Finite Models.
[8] Phokion G. Kolaitis,et al. On the Decision Problem for Two-Variable First-Order Logic , 1997, Bulletin of Symbolic Logic.
[9] Johan van Benthem,et al. Modal Foundations for Predicate Logic , 1997, Log. J. IGPL.
[10] Erich Grädel,et al. On the Restraining Power of Guards , 1999, Journal of Symbolic Logic.
[11] Martin Otto,et al. On Logics with Two Variables , 1999, Theor. Comput. Sci..
[12] Maarten Marx,et al. Interpolation in Guarded Fragments , 2000 .