Propositional dynamic logic

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

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

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