Results 1 
6 of
6
A modal proof theory for final polynomial coalgebras. Theoret
 Comput. Sci
"... An infinitary proof theory is developed for modal logics whose models are coalgebras of polynomial functors on the category of sets. The canonical model method from modal logic is adapted to construct a final coalgebra for any polynomial functor. The states of this final coalgebra are certain “maxim ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
(Show Context)
An infinitary proof theory is developed for modal logics whose models are coalgebras of polynomial functors on the category of sets. The canonical model method from modal logic is adapted to construct a final coalgebra for any polynomial functor. The states of this final coalgebra are certain “maximal ” sets of formulas that have natural syntactic closure properties. The syntax of these logics extends that of previously developed modal languages for polynomial coalgebras by adding formulas that express the “termination ” of certain functions induced by transition paths. A completeness theorem is proven for the logic of functors which have the Lindenbaum property that every consistent set of formulas has a maximal extension. This property is shown to hold if if the deducibility relation is generated by countably many inference rules. A counterexample to completeness is also given. This is a polynomial functor that is not Lindenbaum: it has an uncountable set of formulas that is deductively consistent but has no maximal extension and is unsatisfiable, even though all of its countable subsets are satisfiable. 1
Axiomatic Classes of Intuitionistic Models
"... A class of Kripke models for intuitionistic propositional logic is ‘axiomatic’ if it is the class of all models of some set of formulas (axioms). This paper discusses various structural characterisations of axiomatic classes in terms of closure under certain constructions, including images of bisim ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
A class of Kripke models for intuitionistic propositional logic is ‘axiomatic’ if it is the class of all models of some set of formulas (axioms). This paper discusses various structural characterisations of axiomatic classes in terms of closure under certain constructions, including images of bisimulations, disjoint unions, ultrapowers and ‘prime extensions’. The prime extension of a model is a new model whose points are the prime filters of the lattice of upwardlyclosed subsets of the original model. We also construct and analyse a ‘definable ’ extension whose points are prime filters of definable sets. A structural explanation is given of why a class that is closed under images of bisimulations and invariant under prime/definable extensions must be invariant under arbitrary ultrapowers. This uses iterated ultrapowers and saturation.
Coalgebras, Stone Duality, Modal Logic
, 2006
"... A brief outline of the topics of the course could be as follows. Coalgebras generalise transition systems. Modal logics are the natural logics for coalgebras. Stone duality provides the relationship between coalgebras and modal logic. Furthermore, some basic category theory is needed to understand c ..."
Abstract
 Add to MetaCart
A brief outline of the topics of the course could be as follows. Coalgebras generalise transition systems. Modal logics are the natural logics for coalgebras. Stone duality provides the relationship between coalgebras and modal logic. Furthermore, some basic category theory is needed to understand coalgebras as well as Stone duality. So we
Axiomatic Classes of Intuitionistic Models 1
"... Abstract: A class of Kripke models for intuitionistic propositional logic is ‘axiomatic’ if it is the class of all models of some set of formulas (axioms). This paper discusses various structural characterisations of axiomatic classes in terms of closure under certain constructions, including images ..."
Abstract
 Add to MetaCart
Abstract: A class of Kripke models for intuitionistic propositional logic is ‘axiomatic’ if it is the class of all models of some set of formulas (axioms). This paper discusses various structural characterisations of axiomatic classes in terms of closure under certain constructions, including images of bisimulations, disjoint unions, ultrapowers and ‘prime extensions’. The prime extension of a model is a new model whose points are the prime filters of the lattice of upwardlyclosed subsets of the original model. We also construct and analyse a ‘definable ’ extension whose points are prime filters of definable sets. A structural explanation is given of why a class that is closed under images of bisimulations and invariant under prime/definable extensions must be invariant under arbitrary ultrapowers. This uses iterated ultrapowers and saturation.
Coalgebras and Their Logics 1
, 2006
"... Some comments about the last Logic Column, on nominal logic. Pierre Lescanne points out ..."
Abstract
 Add to MetaCart
(Show Context)
Some comments about the last Logic Column, on nominal logic. Pierre Lescanne points out