Logic in the community. Zbl 1303.03043
Seligman, Jeremy; Liu, Fenrong; Girard, Patrick |
|
2010
|
Logical dynamics of belief change in the community. Zbl 1317.03010
Liu, Fenrong; Seligman, Jeremy; Girard, Patrick |
|
2014
|
Internalization: The case of hybrid logics. Zbl 0991.03024
Seligman, Jeremy |
|
2001
|
General dynamic dynamic logic. Zbl 1291.03023
Girard, Patrick; Seligman, Jeremy; Liu, Fenrong |
|
2012
|
A note on freedom from detachment in the logic of paradox. Zbl 1272.03115
Beall, Jc; Forster, Thomas; Seligman, Jeremy |
|
2013
|
A logical model of the dynamics of peer pressure. Zbl 1347.68319
Zhen, Liang; Seligman, Jeremy |
|
2011
|
When names are not commonly known: epistemic logic with assignments. Zbl 1418.03060
Wang, Yanjing; Seligman, Jeremy |
|
2018
|
Knowledge, friendship and social announcements. Zbl 1306.91114
Seligman, Jeremy; Liu, Fenrong; Girard, Patrick |
|
2013
|
Flexibility in ceteris paribus reasoning. Zbl 1330.03023
Seligman, Jeremy; Girard, Patrick |
|
2011
|
Quantifier-free epistemic term-modal logic with assignment operator. Zbl 07458667
Wang, Yanjing; Wei, Yu; Seligman, Jeremy |
|
2022
|
Channels: from logic to probability. Zbl 1239.94023
Seligman, Jeremy |
|
2009
|
An analytic logic of aggregation. Zbl 1209.03013
Girard, Patrick; Seligman, Jeremy |
|
2009
|
Towards a logic of tweeting. Zbl 1495.03030
Xiong, Zuojun; Ågotnes, Thomas; Seligman, Jeremy; Zhu, Rui |
|
2017
|
Boolean network games and iterated Boolean games. Zbl 1471.91064
Seligman, Jeremy; Thompson, Declan |
|
2015
|
Open and closed questions in decision-making. Zbl 1347.68318
Xiong, Zuojun; Seligman, Jeremy |
|
2011
|
Algebraic semantics for dynamic dynamic logic. Zbl 1471.03033
Ma, Minghui; Seligman, Jeremy |
|
2015
|
The dynamics of peer pressure. Zbl 1349.91104
Liang, Zhen; Seligman, Jeremy |
|
2011
|
A logic of questions for rational choice. Zbl 1348.03020
Xiong, Zuojun; Seligman, Jeremy |
|
2011
|
Situation theory reconsidered. Zbl 1354.03033
Seligman, Jeremy |
|
2014
|
The scope of Turing’s analysis of effective procedures. Zbl 1034.03511
Seligman, Jeremy |
|
2002
|
Quantifier-free epistemic term-modal logic with assignment operator. Zbl 07458667
Wang, Yanjing; Wei, Yu; Seligman, Jeremy |
|
2022
|
When names are not commonly known: epistemic logic with assignments. Zbl 1418.03060
Wang, Yanjing; Seligman, Jeremy |
|
2018
|
Towards a logic of tweeting. Zbl 1495.03030
Xiong, Zuojun; Ågotnes, Thomas; Seligman, Jeremy; Zhu, Rui |
|
2017
|
Boolean network games and iterated Boolean games. Zbl 1471.91064
Seligman, Jeremy; Thompson, Declan |
|
2015
|
Algebraic semantics for dynamic dynamic logic. Zbl 1471.03033
Ma, Minghui; Seligman, Jeremy |
|
2015
|
Logical dynamics of belief change in the community. Zbl 1317.03010
Liu, Fenrong; Seligman, Jeremy; Girard, Patrick |
|
2014
|
Situation theory reconsidered. Zbl 1354.03033
Seligman, Jeremy |
|
2014
|
A note on freedom from detachment in the logic of paradox. Zbl 1272.03115
Beall, Jc; Forster, Thomas; Seligman, Jeremy |
|
2013
|
Knowledge, friendship and social announcements. Zbl 1306.91114
Seligman, Jeremy; Liu, Fenrong; Girard, Patrick |
|
2013
|
General dynamic dynamic logic. Zbl 1291.03023
Girard, Patrick; Seligman, Jeremy; Liu, Fenrong |
|
2012
|
A logical model of the dynamics of peer pressure. Zbl 1347.68319
Zhen, Liang; Seligman, Jeremy |
|
2011
|
Flexibility in ceteris paribus reasoning. Zbl 1330.03023
Seligman, Jeremy; Girard, Patrick |
|
2011
|
Open and closed questions in decision-making. Zbl 1347.68318
Xiong, Zuojun; Seligman, Jeremy |
|
2011
|
The dynamics of peer pressure. Zbl 1349.91104
Liang, Zhen; Seligman, Jeremy |
|
2011
|
A logic of questions for rational choice. Zbl 1348.03020
Xiong, Zuojun; Seligman, Jeremy |
|
2011
|
Logic in the community. Zbl 1303.03043
Seligman, Jeremy; Liu, Fenrong; Girard, Patrick |
|
2010
|
Channels: from logic to probability. Zbl 1239.94023
Seligman, Jeremy |
|
2009
|
An analytic logic of aggregation. Zbl 1209.03013
Girard, Patrick; Seligman, Jeremy |
|
2009
|
The scope of Turing’s analysis of effective procedures. Zbl 1034.03511
Seligman, Jeremy |
|
2002
|
Internalization: The case of hybrid logics. Zbl 0991.03024
Seligman, Jeremy |
|
2001
|