3994 search results - page 111 / 799 » A Linear Logical Framework |
129
Voted
LOGCOM
2007
15 years 14 days ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
91
Voted
IPMU
2010
Springer
14 years 11 months ago
2010
Springer
Controlled Query Evaluation (CQE) is a logical framework for the protection of secrets in databases. In this article, we extend the CQE framework to possibilistic logic: knowledge ...
88
Voted
DEON
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
104
Voted
IGPL
2010
14 years 10 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
90
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...