13 search results - page 2 / 3 » igpl 2000 |
IGPL
2000
13 years 7 months ago
2000
IGPL
2000
13 years 7 months ago
2000
IGPL
2000
13 years 7 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 7 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
2008
13 years 7 months ago
2008
We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules. Key words: admissible rule, independent basi...