Jeremy Seligman

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 8

Top Topics

Epistemic Logic

Natural Deduction

Formal Semantics

Top Venues

Advances in Modal Logic

Ann. Pure Appl. Log.

Publications

Yanjing Wang, Yu Wei, Jeremy Seligman
Quantifier-free epistemic term-modal logic with assignment operator. Ann. Pure Appl. Log. 173 (3) (2022)
Jeremy Seligman, Yanjing Wang
Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names. CoRR (2018)
Yanjing Wang, Jeremy Seligman
When Names Are Not Commonly Known: Epistemic Logic with Assignments. Advances in Modal Logic (2018)
Declan Thompson, Jeremy Seligman
Teaching Natural Deduction in the Right Order with Natural Deduction Planner. FLAP 4 (1) (2017)
Zuojun Xiong, Thomas Ågotnes, Jeremy Seligman, Rui Zhu
Towards a Logic of Tweeting. LORI (2017)
Minghui Ma, Jeremy Seligman
Algebraic Semantics for Dynamic Dynamic Logic. LORI (2015)
Jeremy Seligman, Declan Thompson
Teaching natural deduction in the right order with Natural Deduction Planner. CoRR (2015)
Jeremy Seligman, Declan Thompson
Boolean Network Games and Iterated Boolean Games. LORI (2015)
Fenrong Liu, Jeremy Seligman, Patrick Girard
Logical dynamics of belief change in the community. Synth. 191 (11) (2014)
Jeremy Seligman, Fenrong Liu, Patrick Girard
Facebook and the Epistemic Logic of Friendship. CoRR (2013)
Meiyun Guo, Jeremy Seligman
The Logic of Priori and a Posteriori Rationality in Strategic Games. LORI (2013)
J. C. Beall, Thomas Forster, Jeremy Seligman
A Note on Freedom from Detachment in the Logic of Paradox. Notre Dame J. Formal Log. 54 (1) (2013)
Jeremy Seligman, Fenrong Liu, Patrick Girard
Facebook and the epistemic logic of friendship. TARK (2013)
Patrick Girard, Jeremy Seligman, Fenrong Liu
General Dynamic Dynamic Logic. Advances in Modal Logic (2012)
Zuojun Xiong, Jeremy Seligman
How Questions Guide Choices: A Preliminary Logical Investigation. Australasian Conference on Artificial Intelligence (2011)
Jeremy Seligman, Fenrong Liu, Patrick Girard
Logic in the Community. ICLA (2011)
Zuojun Xiong, Jeremy Seligman
Open and Closed Questions in Decision-making. Electron. Notes Theor. Comput. Sci. 278 (2011)
Liang Zhen, Jeremy Seligman
A Logical Model of the Dynamics of Peer Pressure. Electron. Notes Theor. Comput. Sci. 278 (2011)
Liang Zhen, Jeremy Seligman
The Dynamics of Peer Pressure. LORI (2011)
Zuojun Xiong, Jeremy Seligman
A Logic of Questions for Rational Choice. LORI (2011)
Jeremy Seligman
Channels: From Logic to Probability. Formal Theories of Information (2009)
Patrick Girard, Jeremy Seligman
An Analytic Logic of Aggregation. ICLA (2009)
Jeremy Seligman
The Scope of Turing's Analysis of Effective Procedures. Minds Mach. 12 (2) (2002)