PhilPapers
PhilPeople
PhilArchive
PhilEvents
PhilJobs
Sign in
Sign in
News Feed
Find Philosophers
Departments
Radar
Help
Drag to reposition
Save
Cancel
Jordan Meyer
Ohio State University
Home
Publications
1
Most Recent
Most Downloaded
Topics
News and Updates
More details
Ohio State University
Department of Philosophy
Undergraduate
Columbus, Ohio, United States of America
All publications (
1
)
9
A verification framework for agent programming with declarative goals
with F. S. de Boer, K. V. Hindriks, and
W. van der Hoek
Journal of Applied Logic
5 (2): 277-302. 2007.
Logic and Philosophy of Logic
Logics