Search Sciweavers | Sciweavers

825 search results - page 52 / 165

» Modal Logics with Counting

click to vote

ICTAI
2009
IEEE

160views Artificial Intelligence» more ICTAI 2009»

Managing Authorization Provenance: A Modal Logic Based Approach

14 years 2 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

STACS
2001
Springer

153views Theoretical Computer Science» more STACS 2001»

Semantical Principles in the Modal Logic of Coalgebras

14 years 7 days ago

Download www.doc.ic.ac.uk

Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...

Dirk Pattinson

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

14 years 2 months ago