Uniform Interpolation, Automata and the Modal μ-Calculus
暂无分享,去创建一个
[1] Leon Henkin,et al. An extension of the Craig-Lyndon interpolation theorem , 1963, Journal of Symbolic Logic.
[2] Y. Gurevich. On Finite Model Theory , 1990 .
[3] Andrew M. Pitts,et al. On an interpretation of second order quantification in first order intuitionistic propositional logic , 1992, Journal of Symbolic Logic.
[4] Lawrence S. Moss,et al. Modal Correspondence for Models , 1998, J. Philos. Log..
[5] Robin Milner,et al. Algebraic laws for nondeterminism and concurrency , 1985, JACM.
[6] M. J. Marx,et al. Interpolation, Modularization and Knowledge Representation , 1995 .
[7] Jan A. Bergstra,et al. Logic of transition systems , 1994, J. Log. Lang. Inf..
[8] Robert S. Streett. Propositional Dynamic Logic of looping and converse , 1981, STOC '81.
[9] Silvio Ghilardi,et al. Undefinability of propositional quantifiers in the modal system S4 , 1995, Stud Logica.
[10] Johan van Benthem,et al. Back and Forth Between Modal Logic and Classical Logic , 1995, Log. J. IGPL.
[11] William Craig,et al. Satisfaction for n-th order languages defined in n-th order languages , 1965, Journal of Symbolic Logic.
[12] Dexter Kozen,et al. Results on the Propositional µ-Calculus , 1982, ICALP.
[13] William Craig,et al. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.