Henkin and Hybrid Logic
暂无分享,去创建一个
Patrick Blackburn | Klaus Frovin Jørgensen | Antonia Huertas | María Manzano | P. Blackburn | Antonia Huertas | M. Manzano
[1] Valentin Goranko,et al. Modal logic with names , 1993, J. Philos. Log..
[2] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[3] Leon Henkin,et al. The completeness of the first-order functional calculus , 1949, Journal of Symbolic Logic.
[4] Balder ten Cate,et al. Hybrid logics , 2007, Handbook of Modal Logic.
[5] María Manzano,et al. Extensions of First-Order Logic , 1996 .
[6] Solomon Feferman,et al. Persistent and invariant formulas for outer extensions , 1968 .
[7] Patrick Blackburn,et al. Completeness in Hybrid Type Theory , 2014, J. Philos. Log..
[8] B. T. Cate,et al. Model theory for extended modal languages , 2005 .
[9] Maarten Marx,et al. Hybrid logics: characterization, interpolation and complexity , 2001, Journal of Symbolic Logic.
[10] Patrick Blackburn,et al. Hybrid Languages and Temporal Logic , 1999, Log. J. IGPL.
[11] T. Braüner. Hybrid Logic and its Proof-Theory , 2010 .
[12] Dov M. Gabbay,et al. Handbook of Philosophical Logic , 2002 .
[13] J. Benthem,et al. Higher-Order Logic , 2001 .
[14] Leon Henkin,et al. Completeness in the theory of types , 1950, Journal of Symbolic Logic.
[15] Balder ten Cate,et al. Pure Extensions, Proof Rules, and Hybrid Axiomatics , 2006, Stud Logica.
[16] Frank Wolter,et al. Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.
[17] Leon Henkin,et al. The Discovery of My Completeness Proofs , 1996, Bulletin of Symbolic Logic.