Jeremy Seligman

26 papers B 3Journal 9Unranked 12
YearRankTypeTitle / Venue / Authors
2022 J jnl
Quantifier-free epistemic term-modal logic with assignment operator.
Ann. Pure Appl. Log.
Yanjing Wang, Yu Wei, Jeremy Seligman
2018 J jnl
Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names.
CoRR
Jeremy Seligman, Yanjing Wang
2018 B conf
When Names Are Not Commonly Known: Epistemic Logic with Assignments.
Advances in Modal Logic
Yanjing Wang, Jeremy Seligman
2017 — ed.
Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
LORI
Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada
2017 J jnl
Teaching Natural Deduction in the Right Order with Natural Deduction Planner.
FLAP
Declan Thompson, Jeremy Seligman
2017 — conf
Towards a Logic of Tweeting.
LORI
Zuojun Xiong, Thomas Ågotnes, Jeremy Seligman, Rui Zhu
2015 — conf
Algebraic Semantics for Dynamic Dynamic Logic.
LORI
Minghui Ma, Jeremy Seligman
2015 — conf
Boolean Network Games and Iterated Boolean Games.
LORI
Jeremy Seligman, Declan Thompson
2015 J jnl
Teaching natural deduction in the right order with Natural Deduction Planner.
CoRR
Jeremy Seligman, Declan Thompson
2014 J jnl
Logical dynamics of belief change in the community.
Synth.
Fenrong Liu, Jeremy Seligman, Patrick Girard
2014 — ch.
Situation Theory Reconsidered.
Johan van Benthem on Logic and Information Dynamics
Jeremy Seligman
2013 J jnl
A Note on Freedom from Detachment in the Logic of Paradox.
Notre Dame J. Formal Log.
J. C. Beall, Thomas Forster, Jeremy Seligman
2013 J jnl
Facebook and the Epistemic Logic of Friendship.
CoRR
Jeremy Seligman, Fenrong Liu, Patrick Girard
2013 B conf
Facebook and the epistemic logic of friendship.
TARK
Jeremy Seligman, Fenrong Liu, Patrick Girard
2013 — conf
The Logic of Priori and a Posteriori Rationality in Strategic Games.
LORI
Meiyun Guo, Jeremy Seligman
2012 B conf
General Dynamic Dynamic Logic.
Advances in Modal Logic
Patrick Girard, Jeremy Seligman, Fenrong Liu
2011 — conf
A Logic of Questions for Rational Choice.
LORI
Zuojun Xiong, Jeremy Seligman
2011 — conf
A Logical Model of the Dynamics of Peer Pressure.
M4M/LAMAS
Liang Zhen, Jeremy Seligman
2011 J jnl
Flexibility in Ceteris Paribus Reasoning.
Australas. J. Log.
Jeremy Seligman, Patrick Girard
2011 — conf
How Questions Guide Choices: A Preliminary Logical Investigation.
Australasian Conference on Artificial Intelligence
Zuojun Xiong, Jeremy Seligman
2011 — conf
Logic in the Community.
ICLA
Jeremy Seligman, Fenrong Liu, Patrick Girard
2011 — conf
Open and Closed Questions in Decision-making.
M4M/LAMAS
Zuojun Xiong, Jeremy Seligman
2011 — conf
The Dynamics of Peer Pressure.
LORI
Liang Zhen, Jeremy Seligman
2009 — conf
An Analytic Logic of Aggregation.
ICLA
Patrick Girard, Jeremy Seligman
2009 — conf
Channels: From Logic to Probability.
Formal Theories of Information
Jeremy Seligman
2002 J jnl
The Scope of Turing's Analysis of Effective Procedures.
Minds Mach.
Jeremy Seligman