Sara L. Uckelman

Orcid: 0000-0002-0719-371X

Affiliations:

University of Amsterdam, Netherlands

According to our database¹, Sara L. Uckelman authored at least 22 papers between 2007 and 2021.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

What Problem Did Ladd-Franklin (Think She) Solve(d)?

[BibT_eX]

[DOI]

Sara L. Uckelman

Notre Dame J. Formal Log., 2021

2020

William of Sherwood on Necessity and Contingency.

[BibT_eX]

[DOI]

Sara L. Uckelman

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2018

Normative and descriptive rationality: from nature to artifice and back.

[BibT_eX]

[DOI]

Tarek Richard Besold

Sara L. Uckelman

J. Exp. Theor. Artif. Intell., 2018

The What, the Why, and the How of Artificial Explanations in Automated Decision-Making.

[BibT_eX]

[DOI]

Tarek R. Besold

Sara L. Uckelman

CoRR, 2018

2016

Book Review: Jean Buridan, Treatise on Consequences.

[BibT_eX]

[DOI]

Sara L. Uckelman

Stud Logica, 2016

The Logic of Where and While in the 13th and 14th Centuries.

[BibT_eX]

[DOI]

Sara L. Uckelman

Proceedings of the Advances in Modal Logic 11, 2016

2015

The logic of categorematic and syncategorematic infinity.

[BibT_eX]

[DOI]

Sara L. Uckelman

Synth., 2015

2014

A Curious Dialogical Logic and its Composition Problem.

[BibT_eX]

[DOI]

Sara L. Uckelman

Jesse Alama

Aleks Knoks

J. Philos. Log., 2014

Reasoning About Obligations in Obligationes: A Formal Approach.

[BibT_eX]

[DOI]

Sara L. Uckelman

Proceedings of the Advances in Modal Logic 10, 2014

2012

Prior on an insolubilium of Jean Buridan.

[BibT_eX]

[DOI]

Sara L. Uckelman

Synth., 2012

Arthur Prior and medieval logic.

[BibT_eX]

[DOI]

Sara L. Uckelman

Synth., 2012

2011

Deceit and indefeasible knowledge: the case of dubitatio.

[BibT_eX]

[DOI]

Sara L. Uckelman

J. Appl. Non Class. Logics, 2011

Dialogue Games for Classical Logic.

[BibT_eX]

Jesse Alama

Aleks Knoks

Sara L. Uckelman

Proceedings of the TABLEAUX 2011, 2011

2010

Logic and the Condemnations of 1277.

[BibT_eX]

[DOI]

Sara L. Uckelman

J. Philos. Log., 2010

Obligationes as Formal Dialogue Systems.

[BibT_eX]

[DOI]

Sara L. Uckelman

Proceedings of the STAIRS 2010, 2010

Playing Lorenzen Dialogue Games on the Web.

[BibT_eX]

[DOI]

Jesse Alama

Sara L. Uckelman

Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

Proof rules for the dialogical logic N.

[BibT_eX]

[DOI]

Jesse Alama

Sara L. Uckelman

Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole.

[BibT_eX]

[DOI]

Sara L. Uckelman

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

A Simple Semantics for Aristotelian Apodeictic Syllogistics.

[BibT_eX]

[DOI]

Sara L. Uckelman

Spencer Johnston

Proceedings of the Advances in Modal Logic 8, 2010

2008

Jacob Lorhard's Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles.

[BibT_eX]

[DOI]

Peter Øhrstrøm

Henrik Schärfe

Sara L. Uckelman

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

Three 13th-century views of quantified modal logic.

[BibT_eX]

[DOI]

Sara L. Uckelman

Proceedings of the Advances in Modal Logic 7, 2008

2007

Historical and Conceptual Foundation of Diagrammatical Ontology.

[BibT_eX]

[DOI]

Peter Øhrstrøm

Sara L. Uckelman

Henrik Schärfe

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

Sara L. Uckelman

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...