## 1,251 Citations

Reasoning t No onotonic

- Philosophy, Computer Science
- 1990

It is demonstrated that a restricted form of the principle of arrogance yields results that are equivalent to EMAT [Morgenstern, 19891, a non-monotonic logic which was designed to reason about temporal projection in epistemic contexts].

In Search of a "True" Logic of Knowledge: The Nonmonotonic Perspective

- Philosophy, Computer ScienceArtif. Intell.
- 1995

Nonmonotonic Reasoning is Sometimes Simpler!

- MathematicsJ. Log. Comput.
- 1996

The complexity of decision problems associated with the nonmonotonic modal logic S4 is established, and it is proved that the problem of existence of an S4-expansion for a given set A of premisses is Y%, which refutes a conjecture of Gottlob that these problems are PSPACE-complete.

A Formal Theory of Multiple Agent Nonmonotonic Reasoning

- Philosophy, Computer ScienceAAAI
- 1990

It is demonstrated that a restricted form of the principle of arrogance yields results that are equivalent to EMAT [Morgenstern, 1989], a non-monotonic logic which was designed to reason about temporal projection in epistemic contexts.

Towards an Axiom System for Default Logic

- PhilosophyAAAI
- 2006

This paper presents evidence that it is unlikely that a complete axiom system exists in the first-order case, even when restricted to the simplest forms of default reasoning, and presents formal derivations for some examples ofdefault reasoning.

Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic

- Philosophy
- 2011

This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default…

Tableaux for Nonmonotonic Logics

- Philosophy
- 1999

In the last 15 years there has been a huge amount of research on logical formalization of commonsense reasoning, but traditional logics, even non classical ones, are not suitable to express and formalize revisable inferences.

Only-Knowing Meets Nonmonotonic Modal Logic

- Philosophy, Computer ScienceKR
- 2012

Another large class of nonmonotonic systems, which were first studied by McDermott and Doyle, are brought into the only-knowing fold and the first possible-world semantics for such systems is provided, providing a new perspective on the nature of modal approaches to non monotonic reasoning.

Subnormal Modal Logics for Knowledge Representation

- PhilosophyAAAI
- 1993

This paper argues that weak modal logics, without even the axiom K and below the range of normal modallogics, also give rise to useful non monotonic systems, and proves that computationally they are equivalent to autoepistemic and default logics.

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

- Philosophy, Computer ScienceJ. Log. Lang. Inf.
- 1999

It is proved that Halpern and Moses's logic can be embedded into all ground logics; moreover, the translation employed allows for establishing a lower bound for the problem of skeptical reasoning in all groundlogics.

## References

SHOWING 1-3 OF 3 REFERENCES

Nonmonotonic Logic II: Nonmonotonic Modal Theories

- Computer ScienceJACM
- 1982

The operator M (usually read "possible") is extended so that Mp is true whenever p is consistent with the theory, and any theorem of this form may be mvahdated if ~p ~s is added as an axiom.