Robert Saxon Milnikel

Available identifiers

Publication	Date of Publication	Type
A New Angle on an Old Construction: Approximating Inscribed n-gons	2017-01-18	Paper
The logic of uncertain justifications	2014-01-13	Paper
Conservativity for logics of justified belief: two approaches	2012-04-10	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty	2010-04-06	Paper
Conservativity for Logics of Justified Belief	2009-02-24	Paper
Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete	2007-02-14	Paper
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics	2005-05-20	Paper
Embedding modal nonmonotonic logics into default logic	2004-01-14	Paper
The complexity of predicate default logic over a countable domain	2003-03-16	Paper
Skeptical reasoning in FC-normal logic programs is \(\Pi_1^1\)-complete	2001-04-24	Paper

This page was built for person: Robert Saxon Milnikel