41 search results - page 2 / 9 » A modal foundation for meta-variables |
FUIN
2007
13 years 4 months ago
2007
We give formulations for modal deductive databases and present a modal query language called MDatalog. We define modal relational algebras and give the seminaive evaluation algor...
ELP
1989
13 years 8 months ago
1989
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
AIR
2002
13 years 4 months ago
2002
There is increasing use of combinations of modal logics in both foundational and
ARTS
1999
Springer
13 years 9 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...