Propositional dynamic logic

Proposition, Propositional formula, Propositional logic, Propositional variable, Propositional function, Propositional proof system, Propositional attitude, Propositional representation, Proposition (disambiguation), Second-order propositional logic, Timed propositional temporal logic, List of axiomatic systems in logic, Implicational propositional calculus, Categorical proposition, Probabilistic proposition, Nineteen Propositions, 1996 California Proposition 218, 8: The Mormon Proposition, California ballot proposition, 1994 California Proposition 187, Conjunction elimination, 2012 California Proposition 30, List of California ballot propositions, Bernays–Schönfinkel class, Protests against Proposition 8 supporters, 2012 California Proposition 32, 1978 California Proposition 13, 2008 California Propositions 98 and 99, 1996 California Proposition 209, Proposition 203, 2012 California Proposition 37, List of California ballot propositions: 2020–2029, 2014 California Proposition 47, 2000 California Proposition 39, 1998 California Proposition 227, Propositional directed acyclic graph, 2009 California Proposition 1D, 2009 California Proposition 1C, 2016 California Proposition 57, List of California ballot propositions: 2010–2019, 2012 California Proposition 36

2012 California Proposition 39, 2008 California Proposition 8, List of Arizona ballot propositions, 2009 California Proposition 1F, 110 Propositions for France, 2009 California Proposition 1E, 1980 Massachusetts Proposition 2½, 2022 California Proposition 30, 2009 California Proposition 1B, 1964 California Proposition 14, California Proposition 14, 2000 California Proposition 36, 2006 California Proposition 82, Proposition Infinity, List of California ballot propositions: 2000–2009, California Proposition 99, 2008 California Proposition 1A, 2020 California Proposition 14, California Proposition 1A, California Proposition 6, 2006 Arizona Proposition 204, Proposition 17, 2018 California Proposition 12, 2004 Arizona Proposition 200, 2006 Arizona Proposition 107, 2012 California Proposition 28, Value proposition, Proposition 2, 1996 California Proposition 215, 2012 California Proposition 34, California Proposition 16, The Proposition (soundtrack), California Proposition 20, 1958 California Proposition 18, 2000 California Proposition 21, 2006 California Proposition 89, 2012 California Proposition 38, 2005 San Francisco Proposition I, California Proposition 4, 2008 Arizona Proposition 102, 1998 California Proposition 10, 2006 California Proposition 87, Propositions (album), Proposition 7, Proposition 8 (disambiguation), 1978 California Proposition 8, 2008 California Proposition 91, 2010 California Proposition 20, 2008 California Propositions 94, 95, 96, and 97, The Proposition (Leyster)

Proposition, Propositional formula, Propositional logic, Propositional variable, Propositional function, Propositional proof system, Propositional attitude, Propositional representation, Proposition (disambiguation), Second-order propositional logic, Timed propositional temporal logic, List of axiomatic systems in logic, Implicational propositional calculus, Categorical proposition, Probabilistic proposition, Nineteen Propositions, 1996 California Proposition 218, 8: The Mormon Proposition, California ballot proposition, 1994 California Proposition 187, Conjunction elimination, 2012 California Proposition 30, List of California ballot propositions, Bernays–Schönfinkel class, Protests against Proposition 8 supporters, 2012 California Proposition 32, 1978 California Proposition 13, 2008 California Propositions 98 and 99, 1996 California Proposition 209, Proposition 203, 2012 California Proposition 37, List of California ballot propositions: 2020–2029, 2014 California Proposition 47, 2000 California Proposition 39, 1998 California Proposition 227, Propositional directed acyclic graph, 2009 California Proposition 1D, 2009 California Proposition 1C, 2016 California Proposition 57, List of California ballot propositions: 2010–2019, 2012 California Proposition 36, 2012 California Proposition 39, 2008 California Proposition 8, List of Arizona ballot propositions, 2009 California Proposition 1F, 110 Propositions for France, 2009 California Proposition 1E, 1980 Massachusetts Proposition 2½, 2022 California Proposition 30, 2009 California Proposition 1B, 1964 California Proposition 14, California Proposition 14, 2000 California Proposition 36, 2006 California Proposition 82, Proposition Infinity, List of California ballot propositions: 2000–2009, California Proposition 99, 2008 California Proposition 1A, 2020 California Proposition 14, California Proposition 1A, California Proposition 6, 2006 Arizona Proposition 204, Proposition 17, 2018 California Proposition 12, 2004 Arizona Proposition 200, 2006 Arizona Proposition 107, 2012 California Proposition 28, Value proposition, Proposition 2, 1996 California Proposition 215, 2012 California Proposition 34, California Proposition 16, The Proposition (soundtrack), California Proposition 20, 1958 California Proposition 18, 2000 California Proposition 21, 2006 California Proposition 89, 2012 California Proposition 38, 2005 San Francisco Proposition I, California Proposition 4, 2008 Arizona Proposition 102, 1998 California Proposition 10, 2006 California Proposition 87, Propositions (album), Proposition 7, Proposition 8 (disambiguation), 1978 California Proposition 8, 2008 California Proposition 91, 2010 California Proposition 20, 2008 California Propositions 94, 95, 96, and 97, The Proposition (Leyster), 2016 California Proposition 56, 2012 California Proposition 29, 2006 California Proposition 85, 2012 California Proposition 31, Proposition 57, 1986 California Proposition 63, 2004 California Proposition 60A, 2016 California Proposition 59, Proposition 48, 2018 Idaho Proposition 2, 2022 California Proposition 1, 2016 California Proposition 65, California Proposition 65, 2002 California Proposition 49, 2020 California Proposition 15, 2018 California Proposition 69, 2008 California Proposition 12, 2010 Arizona Proposition 100, 2008 California Proposition 3, List of California ballot propositions: 1990–1999, 1986 California Proposition 64, 2022 California Proposition 27, Proposition 19, 2005 California Proposition 73, 2018 Municipality of Anchorage, Alaska, Proposition 1, Sexual proposition, 2008 California Proposition 10, 2016 California Proposition 60, 2004 California Proposition 60, Proposition 71, 2004 California Proposition 57, 2016 California Proposition 58, 2004 California Proposition 1A, 2016 California Proposition 67, 2008 California Proposition 93, Proposition 64, 2018 California Proposition 68, 2010 California Proposition 23, 2004 California Proposition 65, 2008 California Proposition 7, 2016 California Proposition 66, Policy-ineffectiveness proposition, 2008 California Proposition 2, 1988 California Proposition 90, 1999 Missouri Proposition B, 2016 California Proposition 51, 2016 California Proposition 62, 2016 California Proposition 54, Proposition (political party), Proposition bet, 2009 California Proposition 1A, Intuitionistic logic, 1986 California Proposition 60, 2004 California Proposition 62, 2010 California Proposition 27, 2016 California Proposition 55, 1988 California Proposition 103, Customer value proposition, 2016 California Proposition 61, 1986 California Proposition 65