Quantifying Notes

We review several logics with propositional quantification.

[1]  Thomas Ågotnes,et al.  Action and Knowledge in Alternating-Time Temporal Logic , 2006, Synthese.

[2]  Frederic Brenton Fitch,et al.  A logical analysis of some value concepts , 1963, Journal of Symbolic Logic.

[3]  Andreas Herzig,et al.  ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.

[4]  Tim French,et al.  Bisimulation quantifiers for modal logics , 2006 .

[5]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[6]  Wojciech Jamroga,et al.  Agents that Know How to Play , 2004, Fundam. Informaticae.

[7]  Guillaume Aucher,et al.  DEL-sequents for regression and epistemic planning , 2012, J. Appl. Non Class. Logics.

[8]  Robert Goldblatt,et al.  Axiomatising the Logic of Computer Programming , 1982, Lecture Notes in Computer Science.

[9]  Sophie Pinchinat,et al.  Future Event Logic - Axioms and Complexity , 2010, Advances in Modal Logic.

[10]  Guillaume Aucher,et al.  Characterizing Updates in Dynamic Epistemic Logic , 2010, KR.

[11]  Kit Fine,et al.  Propositional quantifiers in modal logic1 , 2008 .

[12]  Xuefeng Wen,et al.  An Alternative Logic for Knowability , 2011, LORI.

[13]  Tim French,et al.  Undecidability for arbitrary public announcement logic , 2008, Advances in Modal Logic.

[14]  Tiago De Lima,et al.  Alternating-Time Temporal Announcement Logic , 2011, CLIMA.

[15]  Barteld Kooi,et al.  ARROW UPDATE LOGIC , 2011, The Review of Symbolic Logic.

[16]  J. Benthem.  Games in dynamic epistemic logic , 2001 .

[17]  Barteld Kooi.  Knowledge, chance, and change , 2003 .

[18]  Tim French,et al.  Refinement Quantified Logics of Knowledge , 2011, M4M/LAMAS.

[19]  Penelope Economou.  Extensions and applications of dynamic epistemic logic , 2009 .

[20]  Edmund M. Clarke,et al.  Characterizing Kripke Structures in Temporal Logic , 1987, TAPSOFT, Vol.1.

[21]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[22]  A. Visser.  Bisimulations, model descriptions and propositional quantifiers , 1996 .

[23]  Hans van Ditmarsch,et al.  Coalitions and announcements , 2008, AAMAS.

[24]  Johan van Benthem,et al.  An Essay on Sabotage and Obstruction , 2005, Mechanizing Mathematical Reasoning.

[25]  Johan van Benthem,et al.  What one may come to know , 2004 .

[26]  M. de Rijke,et al.  The Modal Logic of Inequality , 1992, J. Symb. Log..

[27]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[28]  Wiebe van der Hoek,et al.  Everything is Knowable - How to Get to Know Whether a Proposition is True , 2012 .

[29]  James Hales,et al.  Refinement Quantifiers for Logics of Belief and Knowledge , 2014 .

[30]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[31]  Michael Wooldridge,et al.  Tractable multiagent planning for epistemic goals , 2002, AAMAS '02.