Reactive Kripke Semantics and Arc Accessibility


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)


14 Figures and Tables

Slides referencing similar topics