Logic Research Group

The Logic Research Group is a group of researchers from the Department of Philosophy at the University of Maryland working in logic and related areas. We have special interests in logic and artificial intelligence, modal logics of all kinds (including logics of action, epistemic logics, and deontic logics), conditionals, vagueness, decision theory, game theory, social choice theory, and relations among logic, semantics, and the philosophy of language.

Meetings

Spring 2024 Logic Group: Wednesdays, 10:30am - 12:00pm, in the Seminar Room.

Contact Eric Pacuit (epacuit@umd.edu) to join the email list for these meetings.

• May 29:
• May 22:
• May 15:
• May 8:
• May 1: No Seminar - There is a VCAI tutorial: How to use the Open AI API to programmatically prompt ChatGPT
• April 24: Lorenzo Rossi will give a talk: Truth and Quantification.
• April 17: Justin will continue his talk about natural logic.
• April 10: Justin will give a talk about natural logic.
• April 3: Steve will give a talk about his work-in-progress text on logic.
• March 27: Fabrizio will speak about his work on branching-time logic and possibility semantics.
• March 20: No meeting - Spring Break.
• March 13: Ilaria will give a talk about her work in progress on dimensions in normative reasoning.
• March 6: Bo will give a presentation on his paper “Comparing Solutions to the Judy Benjamin Problem”.
• February 28: Eric will discuss work-in-progress about measuring the strength of majority preference in elections in which voters may submit ties and/or incomplete ballots.
• February 21: Eric will discuss his paper Learning to Manipulate under Limited Information.

Previous Meetings

Fall 2023

• December 20: Justin will lead the discussion of Chapter 4 of Thomas Icard’s book Resource Rationality.
• December 13: Eric will lead the discussion of Chapter 3 of Thomas Icard’s book Resource Rationality.
• December 6: No meeting - Eric away at a conference
• November 29: Fabrizio will continue his discussion of Chapter 2 of Thomas Icard’s book Resource Rationality.
• November 22: No meeting - Thanksgiving break
• November 15: Fabrizio will lead the discussion of Chapter 2 of Thomas Icard’s book Resource Rationality.
• November 8: Bo will present his work on a model of deliberation
• November 1: Eric will continue his discussion of a recent paper by Johan van Benthem on conditionals and public announcement logic.
• October 31: Eric will introduce public announcement logic and discuss a recent paper by Johan van Benthem on conditionals and public announcement logic.
• October 25: Ilaria will continue her talk about the role of intermediate factors
• October 18: Ilaria will speak about her work on the role of intermediate factors.
• October 11: No meeting, Eric is away at a conference
• October 4: Eric will speak about his paper on an axiomatization of Split Cycle
• September 27: Bo will present his paper on the Judy Benjamin problem
• September 20: Masayuki will continue his presentation on logics with implicit and explicit belief.
• September 13: Masayuki will present some of the work he has been doing developing a logic of belief with misunderstanding and how it relates to logics with unawareness operators

Spring 2023

• February 6: Ilaria will give a talk on her paper with Jeff, Piecemeal Knowledge Acquisition for Computational Normative Reasoning
• February 13: Bo will give a talk about the paper Coalitional manipulation of voting rules: simulations on empirical data by F. Durand
• February 20: No meeting.
• February 27: Fabrizio will present the paper The Theory and Practice of Intention Revision
• March 6: Fabrizio will present the paper The Theory and Practice of Intention Revision
• March 13: No meeting, faculty meeting
• March 20: No meeting, Spring Break
• March 27: Eric will present the paper Describing neighborhoods in inquisitive modal logic by Ivano Ciardelli
• April 3: Aleks Knoks will give about supererogation and dual-role views of reasons.
• April 10: No meeting, Eric, Ilaria and Jeff away at a Dagstuhl Seminar on Normative Reasoning for AI.
• April 17: No talk
• April 24: Bo will give a talk about the paper Conservatism and the Scientific State of Nature by Kummerfeld and Zollman.
• May 1: Daniela will present her work on suspending judgement in default logic.
• May 8: Fabrizio will continue his discussion of the paper The Theory and Practice of Intention Revision
• May 15: Eric will give a talk about recent work on the voting method Stable Voting.
• May 22: Eric will give a talk about forward and backward induction reasoning in games.
• June 5: Ilaria will give a talk about her joint work with Jeff on hierarchies in a model of constraint-based reasoning

Fall 2022

• September 20: Masayuki presents his work on dynamic epistemic logics with misinterpretation.
• September 27: Eric will present a paper on planning conditionals.
• October 4: Bo will present a paper on deliberation and the Condorcet jury theorem.
• October 11: Masayuki will present his work on a model of deliberation with unawareness.
• October 18: Eric will present work on using SAT to find impossibility theorems in social choice theory.
• October 25: Ilaria will talk about her work about reasoning with inconsistent case bases.
• November 1: Ilaria will continue talking about reasoning with inconsistent case bases.
• November 8: Bo will talk about the paper Epistemic Democracy: Generalizing the Condorcet Jury Theorem by C. List and R. Goodin
• November 15: Eric will give a talk about work in progress with Raven on a hyper-domain semantics for epistemic modals.
• November 22: Masayuki will give a talk about the following papers: FOIL Axiomatized by M. Fitting and Roles, Rigidity, and Quantification in Epistemic Logic by Holliday and Perry.
• November 29: Masayuki will continue his discussion of the papers FOIL Axiomatized by M. Fitting and Roles, Rigidity, and Quantification in Epistemic Logic by Holliday and Perry.
• December 6: Steve will talk about his book with Kit Fine on logic.
• December 19-21: Paolo, Fabrizio, Raven, Caleb, and Eric are all presenting at the Amsterdam Colloquium