Reactive Kripke Semantics and Arc Accessibility

Abstract

Modalities and Institutions Răzvan Diaconescu and Petros Stefaneas 159 Analysis of Two Fragments of the Logic of Residuated Lattices Félix Bou, Àngel Garćıa-Cerdaña and Ventura Verdú 167 On Filter Logics for ‘Most’ and Special Predicates Paulo A. S. Veloso and Sheila R. M. Veloso 179 Towards a Metalogic for Security Protocol Analysis Carlos Caleiro, Luca… (More)

Topics

14 Figures and Tables

Slides referencing similar topics