1341 search results - page 9 / 269 » Logic for Modeling Product Structure |
ENTCS
2008
13 years 8 months ago
2008
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...
CSL
2001
Springer
14 years 16 days ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
EUSFLAT
2009
13 years 5 months ago
2009
The present article dedicates itself to fuzzy modelling of data
FUIN
2006
13 years 8 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...