Add to ORKGA weak concept of compactness for nonmonotonic logics is proposed, which is suitable for several nonmonotonic logics, for which Makinsons smallest cumulative extension as well as Freund/Lehmanns canonical extension fail
Several studies about computational complexity of nonmonotonic reasoning (NMR) showed that nonmonoto...
AbstractSeveral studies about computational complexity of nonmonotonic reasoning (NMR) showed that n...
Non compactness principles in nonlinear operator approximation theory / J. Appell ; M. P. Pera. - In...
A weak concept of compactness for nonmonotonic logics is proposed, which is suitable for several non...
This work systematically studies the concept of compactness in classical propositional logic as well...
See http://www.computational-logic.org/content/events/iccl-ss-2005/index.php?id=2
We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into t...
We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notio...
By the compactness property of a logic we mean that nite satisfiability implies satis ability for a ...
[[abstract]]Nonmonotonic logic is intended to apply specifically to situations where the initial inf...
A condition, in two variants, is given such that if a property P satisfies this condition, then ever...
Logics for nonmonotonic reasoning have often been described by the property they lack|that is, monot...
In this study, several proofs of the compactness theorem for propositional logic with countably many...
In this thesis some classical theorems of analysis are provided with non-standard proofs. In Chapter...
It is shown that, for a large class of non-archimedean normed spaces E, a subset X is weakly compac...
Several studies about computational complexity of nonmonotonic reasoning (NMR) showed that nonmonoto...
AbstractSeveral studies about computational complexity of nonmonotonic reasoning (NMR) showed that n...
Non compactness principles in nonlinear operator approximation theory / J. Appell ; M. P. Pera. - In...
A weak concept of compactness for nonmonotonic logics is proposed, which is suitable for several non...
This work systematically studies the concept of compactness in classical propositional logic as well...
See http://www.computational-logic.org/content/events/iccl-ss-2005/index.php?id=2
We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into t...
We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notio...
By the compactness property of a logic we mean that nite satisfiability implies satis ability for a ...
[[abstract]]Nonmonotonic logic is intended to apply specifically to situations where the initial inf...
A condition, in two variants, is given such that if a property P satisfies this condition, then ever...
Logics for nonmonotonic reasoning have often been described by the property they lack|that is, monot...
In this study, several proofs of the compactness theorem for propositional logic with countably many...
In this thesis some classical theorems of analysis are provided with non-standard proofs. In Chapter...
It is shown that, for a large class of non-archimedean normed spaces E, a subset X is weakly compac...
Several studies about computational complexity of nonmonotonic reasoning (NMR) showed that nonmonoto...
AbstractSeveral studies about computational complexity of nonmonotonic reasoning (NMR) showed that n...
Non compactness principles in nonlinear operator approximation theory / J. Appell ; M. P. Pera. - In...