(redirected from Hybrid logic)
Also found in: Wikipedia.
HyLoHybrid Logic
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
With the development of semantic web technology, some researchers considered using modal and hybrid logic in their access control schemes of OSNs.
Huth, "Relationship-based access control: its expression and enforcement through hybrid logic," in Proceedings of the second ACM conference on Data and Application Security and Privacy, pp.
(This corresponds to what we called hybrid logics in the introduction.) We say that a predicate symbol S occurs negatively in a formula [Psi] if it occurs in S under the scope of an odd number of negations.
However, we show below that for hybrid logics, the natural-active collapse can easily be recovered.
We introduced a class of hybrid logics, that arise naturally in the interpreted case: those with `mixed' quantification.