๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Logical Approach to Security in the Context of Ambient Calculus

โœ Scribed by Radu Mardare; Corrado Priami

Book ID
108126328
Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
327 KB
Volume
99
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Unification of nonlinear filtering in th
Unification of nonlinear filtering in the context of binary logical calculus, part I: Binary filters
โœ Edward R. Dougherty; Robert M. Haralick ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Springer US ๐ŸŒ English โš– 891 KB

The mathematical structure of nonlinear filtering is expressed in the context of binary logic. This first part of a two-part study concerns the binary setting. Operator properties, such as antiextensivity and idempotence, are expressed in finite logical expressions, as are the Matheron representatio

Unification of nonlinear filtering in th
Unification of nonlinear filtering in the context of binary logical calculus, part II: Gray-scale filters
โœ Edward R. Dougherty ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Springer US ๐ŸŒ English โš– 639 KB

This second part of a two-part study concerning the logical structure of nonlinear filters treats gray-scale filters. The algebraic framework of threshold decomposition is dedscribed in terms of the appropriate underlying commuting diagram, along with the manner in which generalized stack filters fa

A logical approach to the dynamics of co
A logical approach to the dynamics of commitments
โœ J.-J.Ch. Meyer; W. van der Hoek; B. van Linder ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 313 KB

In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitudes both at the assertion level, i.e., ranging over propositions, and at the practition 2 level, i.e., ranging over actio