暂无分享,去创建一个
Alessandra Palmigiano | Giuseppe Greco | Alexander Kurz | Sabine Frittella | Samuel Balco | A. Kurz | G. Greco | Samuel Balco | S. Frittella | A. Palmigiano
[1] Jelle Gerbrandy,et al. Dynamic epistemic logic , 1998 .
[2] II. Mathematisches. Power and Weakness of the Modal Display Calculus , 1996 .
[3] Rajeev Goré,et al. Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle , 2001, Electron. Notes Theor. Comput. Sci..
[4] H. Wansing. Displaying Modal Logic , 1998 .
[5] Barteld Kooi,et al. One Hundred Prisoners and a Light Bulb , 2015 .
[6] Wiebe van der Hoek,et al. Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.
[7] Alessandra Palmigiano,et al. Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic , 2011, Ann. Pure Appl. Log..
[8] Nuel Belnap,et al. Display logic , 1982, J. Philos. Log..
[9] Ian Horrocks,et al. Computational modal logic , 2007, Handbook of Modal Logic.
[10] Alessandra Palmigiano,et al. Multi-type display calculus for propositional dynamic logic , 2016, J. Log. Comput..
[11] Roy Dyckhoff,et al. Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators , 2013, TOCL.
[12] Melvin Fitting,et al. Modal proof theory , 2007, Handbook of Modal Logic.
[13] Joseph Y. Halpern,et al. Model Checking vs. Theorem Proving: A Manifesto , 1991, KR.
[14] Alessandra Palmigiano,et al. Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic , 2011, LORI.
[15] Patrick Blackburn,et al. Modal logic: a semantic perspective , 2007, Handbook of Modal Logic.
[16] Rajeev Goré,et al. Taming Displayed Tense Logics Using Nested Sequents with Deep Inference , 2009, TABLEAUX.
[17] Rajeev Goré. On the Completeness of Classical Modal Display Logic , 1996 .
[18] Rajeev Goré,et al. Formalised Cut Admissibility for Display Logic , 2002, TPHOLs.
[19] W. Marsden. I and J , 2012 .
[20] Pierre Lescanne,et al. Dynamic Logic of Common Knowledge in a Proof Assistant , 2007, ArXiv.
[21] Franz Baader. Description Logics , 2009, Reasoning Web.
[22] Frank Wolter,et al. Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.
[23] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[24] Longfei Jin,et al. Description Logic을 이용한 전자카타로그 온톨로지 모델링 , 2005 .
[25] Rajeev Goré,et al. Substructural Logics on Display , 1998, Log. J. IGPL.
[26] Alessandra Palmigiano,et al. A proof-theoretic semantic analysis of dynamic epistemic logic , 2016, J. Log. Comput..
[27] Pierre Lescanne,et al. Common Knowledge Logic in a Higher Order Proof Assistant , 2007, Programming Logics.
[28] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[29] Alessandra Palmigiano,et al. Multi-type display calculus for dynamic epistemic logic , 2016, J. Log. Comput..
[30] Barteld Kooi,et al. Dynamic Epistemic Logic , 2013 .
[31] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[32] Pierre Lescanne,et al. Mechanizing common knowledge logic using COQ , 2006, Annals of Mathematics and Artificial Intelligence.
[33] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.