1,721,021 research outputs found
A methodology for iterated Theory Change
No full textIn this work, we propose some operators for theory change. We consider Belief Revision and Updates. The operators support combined iterations of revisions and updates and can be efficiently implemented. We show that the revision operator verifies the AGM postulates for Belief Revision and that the update one verifies the postulates for Updates proposed by Katsuno and Mendelzon [7]
Information Frames, Implication Systems and Modalities
No full textWe investigate the logical systems which result from introducing the modalities □ and ◊ into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to the formulation of a uniform labelled refutation system for these logics
Grafting modalities onto substructural implication systems
No full textWe investigate the semantics of the logical systems obtained by introducing the modalities and into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Then, in the spirit of the LDS (Labelled Deductive Systems) methodology, we "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors in a previous paper
Fibred tableaux for multi-implication logics
No full textWe investigate the notion of fibred tableaux which naturally arises from the idea of fibred semantics. Different implication operators peacefully cohabit and co-operate within the same labelled tableau method
- …
