397 research outputs found
Modal meet-implication logic
No full textWe extend the meet-implication fragment of propositional intuitionistic logic
with a meet-preserving modality. We give semantics based on semilattices and a
duality result with a suitable notion of descriptive frame. As a consequence we
obtain completeness and identify a common (modal) fragment of a large class of
modal intuitionistic logics. We recognise this logic as a dialgebraic logic,
and as a consequence obtain expressivity-somewhere-else. Within the dialgebraic
framework, we then investigate the extension of the meet-implication fragment
of propositional intuitionistic logic with a monotone modality and prove
completeness and expressivity-somewhere-else for it
Coalgebraic Geometric Logic: Basic Theory
No full textUsing the theory of coalgebra, we introduce a uniform framework for adding
modalities to the language of propositional geometric logic. Models for this
logic are based on coalgebras for an endofunctor on some full subcategory of
the category of topological spaces and continuous functions. We investigate
derivation systems, soundness and completeness for such geometric modal logics,
and we specify a method of lifting an endofunctor on Set, accompanied by a
collection of predicate liftings, to an endofunctor on the category of
topological spaces, again accompanied by a collection of (open) predicate
liftings. Furthermore, we compare the notions of modal equivalence, behavioural
equivalence and bisimulation on the resulting class of models, and we provide a
final object for the corresponding category
A Coalgebraic Approach to Dualities for Neighborhood Frames
No full textWe develop a uniform coalgebraic approach to J\'onsson-Tarski and Thomason
type dualities for various classes of neighborhood frames and neighborhood
algebras. In the first part of the paper we construct an endofunctor on the
category of complete and atomic Boolean algebras that is dual to the double
powerset functor on . This allows us to show that Thomason
duality for neighborhood frames can be viewed as an algebra-coalgebra duality.
We generalize this approach to any class of algebras for an endofunctor
presented by one-step axioms in the language of infinitary modal logic. As a
consequence, we obtain a uniform approach to dualities for various classes of
neighborhood frames, including monotone neighborhood frames, pretopological
spaces, and topological spaces.
In the second part of the paper we develop a coalgebraic approach to
J\'{o}nsson-Tarski duality for neighborhood algebras and descriptive
neighborhood frames. We introduce an analogue of the Vietoris endofunctor on
the category of Stone spaces and show that descriptive neighborhood frames are
isomorphic to coalgebras for this endofunctor. This allows us to obtain a
coalgebraic proof of the duality between descriptive neighborhood frames and
neighborhood algebras. Using one-step axioms in the language of finitary modal
logic, we restrict this duality to other classes of neighborhood algebras
studied in the literature, including monotone modal algebras and contingency
algebras.
We conclude the paper by connecting the two types of dualities via canonical
extensions, and discuss when these extensions are functorial
Modal Logics for Mobile Processes Revisited
No full textWe revisit the logical characterisations of various bisimilarity relations for the finite fragment of the π-calculus. Our starting point is the early and the late bisimilarity, first defined in the seminal work of Milner, Parrow and Walker, who also proved their characterisations in fragments of a modal logic (which we refer to as the MPW logic). Two important refinements of early and late bisimilarity, called open and quasi-open bisimilarity, respectively, were subsequently proposed by Sangiorgi and Walker. Horne, et. al., showed that open and quasi-bisimilarity are characterised by intuitionistic modal logics: OM (for open bisimilarity) and FM (for quasi-open bisimilarity). In this work, we attempt to unify the logical characterisations of these bisimilarity relations, showing that they can be characterised by different sublogics of a unifying logic. A key insight to this unification derives from a reformulation of the four bisimilarity relations (early, late, open and quasi-open) that uses an explicit name context, and an observation that these relations can be distinguished by the relative scoping of names and their instantiations in the name context. This name context and name substitution then give rise to an accessibility relation in the underlying Kripke semantics of our logic, that is captured logically by an S4-like modal operator. We then show that the MPW, the OM and the FM logics can be embedded into fragments of our unifying classical modal logic. In the case of OM and FM, the embedding uses the fact that intuitionistic implication can be encoded in modal logic S4
Coalgebraic Geometric Logic
No full textUsing the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor T on some full subcategory of the category Top of topological spaces and continuous functions. We compare the notions of modal equivalence, behavioural equivalence and bisimulation on the resulting class of models, and we provide a final object for the corresponding category. Furthermore, we specify a method of lifting an endofunctor on Set, accompanied by a collection of predicate liftings, to an endofunctor on the category of topological spaces
Psychose syndroom
No full textPsychiatrie gaat kantelen:-300 DSM-classificaties worden 15 syndromen;-diagnoses worden niet meer gesteld op basis van een standaardlijst maar op basis van persoonlijke beoordeling;-het herstel van de patiënt staat voorop, ook als dat veel inspanning kost.Het draagvlak voor de nieuwe benadering is groot. Tweeënzestig grote namen uit het vak hebben een bijdrage geleverd aan dit boek. Universiteiten willen het voorschrijven aan geneeskunde-studenten. Onder gevestigde psychiaters leeft veel sympathie voor de nieuwe benadering. Psychiatrische patiënten noemen de benadering 'nieuwe ggz' of 'goede ggz'
Psychose syndroom
No full textPsychiatrie gaat kantelen:-300 DSM-classificaties worden 15 syndromen;-diagnoses worden niet meer gesteld op basis van een standaardlijst maar op basis van persoonlijke beoordeling;-het herstel van de patiënt staat voorop, ook als dat veel inspanning kost.Het draagvlak voor de nieuwe benadering is groot. Tweeënzestig grote namen uit het vak hebben een bijdrage geleverd aan dit boek. Universiteiten willen het voorschrijven aan geneeskunde-studenten. Onder gevestigde psychiaters leeft veel sympathie voor de nieuwe benadering. Psychiatrische patiënten noemen de benadering 'nieuwe ggz' of 'goede ggz'
Industry use of evidence to influence alcohol policy: a case study of submissions to the 2008 Scottish government consultation.
No full textJim McCambridge and colleagues analyze industry submissions to a Scottish Government consultation on whole-population approaches to alcohol policy
The Canon, Spring 1981
No full textCover Design by Laurie Zinkand When Morning Gilds the Skies by Dave Brauning St. Paul-de-Vence by Laurie Zinkand [drawing of creatures] by Rosalie Groot Villanelle To My Best Friend by Gioia Seerveld A Sonnet of Unrequited Love by Barry Crush Secret Kingdom by Priscilla Clark The Green Park Bench by Anya Seerveld [drawing of pre-historic creature] by Rosalie Groot Melody in D by Cindy Ripperdan The Chosen by Jim De Younghttps://digitalcollections.dordt.edu/dordt_canon/1040/thumbnail.jp
Psychose syndroom
No full textPsychiatrie gaat kantelen:-300 DSM-classificaties worden 15 syndromen;-diagnoses worden niet meer gesteld op basis van een standaardlijst maar op basis van persoonlijke beoordeling;-het herstel van de patiënt staat voorop, ook als dat veel inspanning kost.Het draagvlak voor de nieuwe benadering is groot. Tweeënzestig grote namen uit het vak hebben een bijdrage geleverd aan dit boek. Universiteiten willen het voorschrijven aan geneeskunde-studenten. Onder gevestigde psychiaters leeft veel sympathie voor de nieuwe benadering. Psychiatrische patiënten noemen de benadering 'nieuwe ggz' of 'goede ggz'
- …
