๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

โœ Scribed by Riccardo Rosati


Book ID
110261177
Publisher
Springer Netherlands
Year
1999
Tongue
English
Weight
103 KB
Volume
8
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Logic For Reasoning About Knowledge
โœ Ewa Orlowska ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 719 KB
Minimal Axiomatization in Modal Logic
โœ Fabio Bellissima; Saverio Cittadini ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 700 KB

## Abstract We consider the problem of finding, in the ambit of modal logic, a minimal characterization for finite Kripke frames, i.e., a formula which, given a frame, axiomatizes its theory employing the lowest possible number of variables and implies the other axiomatizations. We show that every