Robert Saxon Milnikel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A New Angle on an Old Construction: Approximating Inscribed n-gons Mathematics Magazine	2017-01-18	Paper
The logic of uncertain justifications Annals of Pure and Applied Logic	2014-01-13	Paper
Conservativity for logics of justified belief: two approaches Annals of Pure and Applied Logic	2012-04-10	Paper
A sequent calculus for skeptical reasoning in predicate default logic (extended abstract) Lecture Notes in Computer Science	2010-04-06	Paper
Conservativity for Logics of Justified Belief Logical Foundations of Computer Science	2009-02-24	Paper
Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete Annals of Pure and Applied Logic	2007-02-14	Paper
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics Annals of Mathematics and Artificial Intelligence	2005-05-20	Paper
Embedding modal nonmonotonic logics into default logic Studia Logica	2004-01-14	Paper
The complexity of predicate default logic over a countable domain Annals of Pure and Applied Logic	2003-03-16	Paper
Skeptical reasoning in FC-normal logic programs is \(\Pi_1^1\)-complete Fundamenta Informaticae	2001-04-24	Paper

Research outcomes over time

This page was built for person: Robert Saxon Milnikel