---
title: "Allowed Arguments"
authors:
  - "Michael Morreau"
doi: ""
url: "https://ijcai.org/proceedings/1995/189"
pdf: "https://ijcai.org/proceedings/1995/0189.pdf"
venue: "Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence"
year: 1995
pages: "1466-1472"
track: "Non-monotonic Reasoning"
keywords:
---

# Allowed Arguments

Michael Morreau

*Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence*, pages 1466-1472.

## Abstract

Starting with a first-order modal conditional logic which allows unlimited nesting of defaults and embeddings into any context analyzable in possibleworlds theory, I introduce two simple notions of default reasoning: the syntactic notion of (prioritized) Allowed Consequence and the semantic notion of (prioritized) Allowed Entailment. I prove that the one is sound and complete relative to the other.