论文信息 - Generalized Compactness of Nonmonotonic Inference Operations

Generalized Compactness of Nonmonotonic Inference Operations

ABSTRACT The aim of the present paper is to analyse compactness properties of nonmonotonic inference operations within the framework of model theory. For this purpose the concepts of a deductive frame and its semantical counterpart, a semantical frame are introduced. Compactness properties play a fundamental in the study of non-monotonic inference, and in the paper several new versions of compactness are studied.

Heinrich Herre | H. Herre

[1] Peter Gärdenfors,et al. Belief Revision , 1995 .

[2] Daniel Lehmann,et al. Nonmonotonic reasoning: from finitary relations to infinitary inference operations , 1994, Stud Logica.

[3] Peter Gärdenfors,et al. Belief Revision: Contents , 1992 .

[4] Michael Freund. Supracompact Inference Operations , 1990, Nonmonotonic and Inductive Logic.

[5] Daniel Lehmann,et al. Nonmonotonic inference operations , 1993, Log. J. IGPL.

[6] Phokion G. Kolaitis,et al. Generalized Quantifiers and Pebble Games on Finite Structures , 1995, Ann. Pure Appl. Log..

[7] David Makinson,et al. General patterns in nonmonotonic reasoning , 1994 .

[8] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[9] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[10] Alfred Tarski,et al. Logic, Semantics, Metamathematics: Papers from 1923 to 1938 , 1958 .

[11] Heinrich Herre. Nonmonotonic Reasoning and Logic Programs , 1990, Nonmonotonic and Inductive Logic.

[12] Wolfgang Rautenberg,et al. Klassische und nichtklassische Aussagenlogik , 1979 .

[13] David Makinson,et al. General Theory of Cumulative Inference , 1988, NMR.