Search for dissertations about: "Axiomatic characterization"

Found 2 swedish dissertations containing the words Axiomatic characterization.

  2. 1. On the Logic of Theory Change : Extending the AGM Model

    Author : Eduardo Fermé; John Cantwell; David Makinson; KTH; []
    Keywords : HUMANIORA; HUMANITIES; Logic of Theory Change. AGM model. Belief Bases; Iterated Models; Multiple belief change; AGM and defeasible Logic; Logic; Logik;

    Abstract : This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. READ MORE

  4. 2. Ultrasheaves

    Author : Jonas Eliasson; Viggo Stoltenberg-Hansen; Steve Awodey; Carsten Butz; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; 03G30; 03C20; 03H05; Matematisk logik; Mathematical logic; Matematisk logik;

    Abstract : This thesis treats ultrasheaves, sheaves on the category of ultrafilters. In the classical theory of ultrapowers, you start with an ultrafilter and, given a structure, you construct the ultrapower of the structure over the ultrafilter. READ MORE