Modal Languages and Bounded Fragments of Predicate Logic

Hajnal Andréka István Németi Johan van Benthem 1998 Modal Languages and Bounded Fragments of Predicate Logic Journal of Philosophical Logic 27 3 217–274 10.1023/A:1004275029985 Alexandru Baltag 2016 To Know is to Know the Value of a Variable Proceedings of AiML Vol. 11 135–155 http://www.aiml.net/volumes/volume11/Baltag.pdf Francesco Belardinelli Alessio Lomuscio 2011 First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment Fundamenta Informaticae 106 2-4 175–190 10.3233/FI-2011-382 Johan van Benthem 2010 Frame correspondences in modal predicate logic Proofs, categories and computations: essays in honor of Grigori Mints College Publications Patrick Blackburn Maarten de Rijke Yde Venema 2002 Modal Logic Cambridge University Press 10.1017/CBO9781107050884 Torben Bra+.2222emuner Silvio Ghilardi 2007 First-order modal logic Handbook of Modal Logic 549–620 10.1016/S1570-2464(07)80012-7 Jie Fan Yanjing Wang Hans van Ditmarsch 2014 Almost neccessary Proceedings of AiML Vol.10 178–196 http://www.aiml.net/volumes/volume10/Fan-Wang-Ditmarsch.pdf Jie Fan Yanjing Wang Hans van Ditmarsch 2015 Contingency and Knowing Whether The Review of Symbolic Logic 8 75–107 10.1017/S1755020314000343 Raul Fervari Andreas Herzig Yanjun Li Yanjing Wang 2017 Strategically knowing how Proceedings of IJCAI '17 To appear Melvin Fitting Richard L. Mendelsohn 1998 First-Order Modal Logic Springer 10.1007/978-94-011-5292-1 Malvin Gattinger Jan van Eijck Yanjing Wang 2017 Knowing Values and Public Inspection Proceedings of ICLA'17 77–90 10.1007/978-3-662-54069-5_7 Paul Gochet Pascal Gribomont 2006 Epistemic Logic Dov M. Gabbay John Woods Handbook of the History of Logic 7 10.1016/S1874-5857(06)80028-2 Rajeev Goré 1999 Tableau Methods for Modal and Temporal Logics Springer Netherlands 10.1007/978-94-017-1754-0_6 Erich Grädel Wolfgang Thomas Thomas Wilke 2002 Automata, Logics, and Infinite Games: A Guide to Current Research LNCS 2500 Springer 10.1007/3-540-36387-4 Jeroen Groenendijk Martin Stokhof 1982 Semantic Analysis of "Wh"-Complements Linguistics and Philosophy 5 2 175–233 10.1007/bf00351052 Tao Gu Yanjing Wang 2016 ``Knowing value'' logic as a normal modal logic Proceedings of AiML Vol.11 362–381 www.aiml.net/volumes/volume11/Gu-Wang.pdf Charles L Hamblin 1973 Questions in Montague english Foundations of language 41–53 10.1016/b978-0-12-545850-4.50014-5 Helle Hvid Hansen 2003 Monotonic Modal Logics Universiteit van Amsterdam https://eprints.illc.uva.nl/108/ Andreas Herzig Nicolas Troquard 2006 Knowing how to play: uniform choices in logics of agency (AAMAS 2006 209–216 10.1145/1160633.1160666 Jaakko Hintikka 1962 Knowledge and Belief: An Introduction to the Logic of the Two Notions Cornell University Press

Ithaca N.Y.

10.1111/j.1468-0149.1963.tb00788.x Ian M. Hodkinson 2002 Monodic Packed Fragment with Equality is Decidable Studia Logica 72 2 185–197 10.1023/A:1021356410579 Ian M. Hodkinson Frank Wolter Michael Zakharyaschev 2000 Decidable fragment of first-order temporal logics Annals of Pure and Applied Logic 106 1-3 85–134 10.2307/2695115 Ian M. Hodkinson Frank Wolter Michael Zakharyaschev 2002 Decidable and Undecidable Fragments of First-Order Branching Temporal Logics Proceedings of LiCS'02 393–402 10.1109/lics.2002.1029847 G. E. Hughes M. J. Cresswell 1996 A New Introduction to Modal Logic Routledge 10.4324/9780203028100 Wojciech Jamroga Thomas Ågotnes 2007 Constructive knowledge: what agents can achieve under imperfect information Journal of Applied Non-Classical Logics 17 4 423–475 10.3166/jancl.17.423-475 Wojciech Jamroga Wiebe van der Hoek 2004 Agents that Know How to Play Fundam. Inform. 63 2-3 185–219 http://content.iospress.com/articles/fundamenta-informaticae/fi63-2-3-05 Martin Lange 2002 Games for Modal and Temporal Logics University of Edinburgh www.lfcs.inf.ed.ac.uk/reports/03/ECS-LFCS-03-431/ Tszyuen Lau Yanjing Wang 2016 Knowing your ability The Philosophical Forum 415–424 10.1111/phil.12130 Yanjun Li Yanjing Wang 2017 Achieving while maintaining: A logic of knowing how with intermediate constraints Proceedings of ICLA'17 154–167 10.1007/978-3-662-54069-5_12 Pavel Naumov Jia Tao Together We Know How to Achieve: An Epistemic Logic of Know-How Proceedings of TARK'17 arxiv.org/abs/1705.09349 Marc Pauly 2000 From Programs to Games: Invariance and Safety for Bisimulation Proceedings of CSL'00 Springer 485–496 10.1007/3-540-44622-2_33 Jan Plaza 2007 Logics of public communications Synthese 158 2 165–179 10.1007/s11229-007-9168-7 Graham Priest 2008 An Introduction to Non-Classical Logic: From If to Is Cambridge University Press 10.1017/cbo9780511801174 Philipp Rohde 2002 Expressive Power of Monadic Second-Order Logic and Modal mu-Calculus Automata Logics, and Infinite Games 387–393 10.1007/3-540-36387-4_14 Jason Stanley 2011 Know how Oxford University Press 10.1093/acprof:oso/9780199695362.001.0001 Jason Stanley Timothy Williamson 2001 Knowing how The Journal of Philosophy 411–444 10.2307/2678403 Wiesław Szwast Lidia Tendera 2004 The guarded fragment with transitive guards Annals of Pure and Applied Logic 128 1 227 – 276 10.1016/j.apal.2004.01.003 Yanjing Wang 2015 A Logic of Knowing How Proceedings of LORI-V 392–405 10.1007/978-3-662-48561-3_32 Yanjing Wang 2016 Beyond knowing that: a new generation of epistemic logics Jaakko Hintikka on knowledge and game theoretical semantics (forthcoming) arxiv.org/abs/1605.01995 Yanjing Wang 2017 A logic of goal-directed knowing how Synthese 10.1007/s11229-016-1272-0 Forthcoming Yanjing Wang Jie Fan 2013 Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators Proceedings of IJCAI'13 1139–1146 www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6742/6782 Yanjing Wang Jie Fan 2014 Conditionally knowing what Proceedings of AiML Vol.10 569–587 www.aiml.net/volumes/volume10/Wang-Fan.pdf Frank Wolter Michael Zakharyaschev 2001 Decidable Fragments of First-Order Modal Logics The Journal of Symbolic Logic 66 3 1415–1438 10.2307/2695115 Chao Xu Yanjing Wang Thomas Studer 2016 A Logic of Knowing Why arxiv.org/abs/1609.06405 Manuscript Reihane Zoghifard Massoud Pourmahdian 2016 First-Order Modal Logic: Frame Definability and Lindström Theorems arxiv.org/abs/1602.00201