Modal Fixed-Point Logic and Changing Models
暂无分享,去创建一个
[1] Lawrence S. Moss. Exploring Logical Dynamics, Johan van Benthem , 2000, J. Log. Lang. Inf..
[2] Frank Wolter,et al. Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.
[3] A. Arnold,et al. Rudiments of μ-calculus , 2001 .
[4] Johan van Benthem,et al. Reduction axioms for epistemic actions , 2004 .
[5] Z. Ésik,et al. Iteration Theories: The Equational Logic of Iterative Processes , 1993 .
[6] J. Benthem,et al. Logics of communication and change , 2006 .
[7] Colin Stirling,et al. Modal Mu-Calculi , 2001 .
[8] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[9] Colin Stirling,et al. Modal mu-calculi , 2007, Handbook of Modal Logic.
[10] Johan van Benthem,et al. Exploring logical dynamics , 1996, Studies in logic, language and information.
[11] Barteld P. Kooi,et al. Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.