Eric Pacuit

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Voting theory in the Lean theorem prover	2022-06-24	Paper
Choice-driven counterfactuals	2022-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q5018516	2021-12-20	Paper
Arrow's decisive coalitions	2020-05-12	Paper
Intention as commitment toward time	2020-04-21	Paper
Dependence and Independence in Social Choice: Arrow’s Theorem	2020-02-04	Paper
ACTION TYPES IN STIT SEMANTICS	2018-01-17	Paper
Neighborhood semantics for modal logic	2017-08-24	Paper
Dynamic Models of Rational Deliberation in Games	2016-08-30	Paper
On the use (and abuse) of logic in game theory	2016-04-13	Paper
Toward a theory of play: a logical perspective on games and interaction	2015-05-19	Paper
Temporal Aspects of the Dynamics of Knowledge	2015-05-11	Paper
Towards a Logical Analysis of Adjusted Winner	2015-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q2939555	2015-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5419874	2014-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q5417809	2014-05-22	Paper
Substantive assumptions in interaction: a logical perspective	2014-04-15	Paper
Evidence and plausibility in neighborhood structures	2014-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q2851824	2013-10-04	Paper
Social Interaction, Knowledge, and Social Software	2013-06-18	Paper
Logics of Rational Interaction	2012-08-23	Paper
Dynamic logics of evidence-based beliefs	2011-11-23	Paper
REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION	2011-11-14	Paper
Logical Dynamics of Evidence	2011-10-19	Paper
DEL Planning and Some Tractable Cases	2011-10-19	Paper
A Dynamic Analysis of Interactive Rationality	2011-10-19	Paper
Dynamic logics of knowledge and access	2011-02-25	Paper
Preface to the special issue: Temporal logics of agency	2011-01-07	Paper
A Note on Assumption-Completeness in Modal Logic	2010-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q3574469	2010-07-09	Paper
Merging frameworks for interaction	2009-11-16	Paper
Editorial: Logic and intelligent interaction	2009-11-04	Paper
Neighbourhood Structures: Bisimilarity and Basic Model Theory	2009-06-30	Paper
A General Approach to Aggregation Problems	2009-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q3629246	2009-05-27	Paper
Bisimulation for Neighbourhood Structures	2009-03-10	Paper
Modal Logics of Negotiation and Preference	2008-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q3509047	2008-07-01	Paper
Some comments on history based structures	2008-03-11	Paper
Understanding the Brandenburger-Keisler paradox	2007-12-17	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
The logic of knowledge based obligation	2006-08-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eric Pacuit