Jeremy Seligman

dblp:00/1494 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
1since 2021 · last 2022
—ORCID · unresolved

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2022 Quantifier-free epistemic term-modal logic with assignment operator
Yanjing Wang 0001, Jeremy Seligman
Ann. Pure Appl. Log.3
2018 When Names Are Not Commonly Known: Epistemic Logic with Assignments
Yanjing Wang 0001, Jeremy Seligman
Advances in Modal Logic2
2013 Facebook and the epistemic logic of friendship
Jeremy Seligman, Fenrong Liu, Patrick Girard 0004
TARK1
2012 General Dynamic Dynamic Logic
Patrick Girard 0004, Jeremy Seligman, Fenrong Liu
Advances in Modal Logic2