IGPL
2000
13 years 4 months ago
2000
IGPL
2000
13 years 4 months ago
2000
The aim of this paper is to investigate the expressibility of classical propositional monomodal logics. To this end, a notion of embedding of one logic into another is introduced,...
IGPL
2000
13 years 4 months ago
2000
IGPL
2000
13 years 4 months ago
2000
IGPL
2000
13 years 4 months ago
2000
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
IGPL
2000
13 years 4 months ago
2000
Abstract Neil Ghani Valeria de Paiva Eike Ritter The -calculus 1 adds explicit substitutions to the -calculus so as to provide a theoretical framework within which the implement...
IGPL
2000
13 years 4 months ago
2000
IGPL
2000
13 years 4 months ago
2000
IGPL
2000
13 years 4 months ago
2000
In recent papers [10, 11] Krister Segerberg introduced Irrevocable Belief Revision, as closely related to AGM revision [2]. In this paper we present irrevocable belief revision in...
IGPL
2000
13 years 4 months ago
2000
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....