Sara L. Uckelman

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 7

Top Topics

Highly Subjective

Classical Logic

Sound And Complete Axiomatization

Automated Reasoning

Top Venues

Advances in Modal Logic

J. Philos. Log.

Publications

Sara L. Uckelman
What Problem Did Ladd-Franklin (Think She) Solve(d)? Notre Dame J. Formal Log. 62 (3) (2021)
Sara L. Uckelman
William of Sherwood on Necessity and Contingency. AiML (2020)
Tarek Richard Besold, Sara L. Uckelman
Normative and descriptive rationality: from nature to artifice and back. J. Exp. Theor. Artif. Intell. 30 (2) (2018)
Tarek R. Besold, Sara L. Uckelman
The What, the Why, and the How of Artificial Explanations in Automated Decision-Making. CoRR (2018)
Sara L. Uckelman
The Logic of Where and While in the 13th and 14th Centuries. Advances in Modal Logic (2016)
Sara L. Uckelman
Book Review: Jean Buridan, Treatise on Consequences. Stud Logica 104 (6) (2016)
Sara L. Uckelman
The logic of categorematic and syncategorematic infinity. Synth. 192 (8) (2015)
Sara L. Uckelman, Jesse Alama, Aleks Knoks
A Curious Dialogical Logic and its Composition Problem. J. Philos. Log. 43 (6) (2014)
Sara L. Uckelman
Reasoning About Obligations in Obligationes: A Formal Approach. Advances in Modal Logic (2014)
Sara L. Uckelman
Arthur Prior and medieval logic. Synth. 188 (3) (2012)
Sara L. Uckelman
Prior on an insolubilium of Jean Buridan. Synth. 188 (3) (2012)
Jesse Alama, Aleks Knoks, Sara L. Uckelman
Dialogue Games for Classical Logic. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Sara L. Uckelman
Deceit and indefeasible knowledge: the case of dubitatio. J. Appl. Non Class. Logics 21 (3-4) (2011)
Jesse Alama, Sara L. Uckelman
Playing Lorenzen Dialogue Games on the Web. LPAR short papers(Yogyakarta) (2010)
Sara L. Uckelman
Logic and the Condemnations of 1277. J. Philos. Log. 39 (2) (2010)
Sara L. Uckelman, Spencer Johnston
A Simple Semantics for Aristotelian Apodeictic Syllogistics. Advances in Modal Logic (2010)
Jesse Alama, Sara L. Uckelman
Proof rules for the dialogical logic N. LPAR short papers(Yogyakarta) (2010)
Sara L. Uckelman
Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole. CiE (2010)
Sara L. Uckelman
Obligationes as Formal Dialogue Systems. STAIRS (2010)
Peter Øhrstrøm, Henrik Schärfe, Sara L. Uckelman
Jacob Lorhard's Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles. ICCS (2008)
Sara L. Uckelman
Three 13th-century views of quantified modal logic. Advances in Modal Logic (2008)
Peter Øhrstrøm, Sara L. Uckelman, Henrik Schärfe
Historical and Conceptual Foundation of Diagrammatical Ontology. ICCS (2007)