25 citations · 26 across the 5 of their papers we have counts for
5 papers
Strengthening Consistency Results in Modal Logic
Samuel Allen Alexander, Arthur Paul Pedersen
A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of backgro…
Representation and Invariance in Reinforcement Learning
Samuel Alexander, Arthur Paul Pedersen
Researchers have formalized reinforcement learning (RL) in different ways. If an agent in one RL framework is to run within another RL framework's environments, the agent must firs…
Adversarial Attacks in Cooperative AI
Ted Fujimoto, Arthur Paul Pedersen
Single-agent reinforcement learning algorithms in a multi-agent environment are inadequate for fostering cooperation. If intelligent agents are to interact and work together to sol…
When is an Example a Counterexample?
Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn
In this extended abstract, we carefully examine a purported counterexample to a postulate of iterated belief revision. We suggest that the example is better seen as a failure to ap…
A proof of completeness for continuous first-order logic
Itaï Ben Yaacov, Arthur Paul Pedersen
The primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic. In particular, we show that in co…