Search Sciweavers | Sciweavers

711 search results - page 58 / 143

» Modal Logics are Coalgebraic

click to vote

DLOG
2006

143views Automated Reasoning» more DLOG 2006»

Model checking the basic modalities of CTL with Description Logic

14 years 11 months ago

Download ftp.informatik.rwth-aachen.de

Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

click to vote

ICTAI
2009
IEEE

160views Artificial Intelligence» more ICTAI 2009»

Managing Authorization Provenance: A Modal Logic Based Approach

15 years 4 months ago

Download www.cit.uws.edu.au

Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...

Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu

claim paper

Read More »

click to vote

FROCOS
2009
Springer

110views Control Systems» more FROCOS 2009»

Axiomatization and Completeness of Lexicographic Products of Modal Logics

15 years 4 months ago