Search Sciweavers | Sciweavers

711 search results - page 29 / 143

» Modal Logics are Coalgebraic

107

click to vote

FOSSACS
2008
Springer

215views Software Engineering» more FOSSACS 2008»

A Modal Deconstruction of Access Control Logics

14 years 11 months ago

Download www.cs.cmu.edu

We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...

Deepak Garg, Martín Abadi

claim paper

Read More »

click to vote

JAPLL
2010

85views more JAPLL 2010»

Hybrid logic with the difference modality for generalisations of graphs

14 years 4 months ago

Download www.doc.ic.ac.uk

We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...

Robert S. R. Myers, Dirk Pattinson

claim paper

Read More »

click to vote

IGPL
2002

85views more IGPL 2002»

Fibring Modal First-Order Logics: Completeness Preservation

14 years 9 months ago

Download wslc.math.ist.utl.pt

Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...

Amílcar Sernadas, Cristina Sernadas, Albert...

claim paper

Read More »

click to vote

ICLA
2009
Springer

136views Artificial Intelligence» more ICLA 2009»

Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

15 years 4 months ago