2573 search results - page 153 / 515 » Combinations of Modal Logics |
134
click to vote
IGPL
2007
15 years 4 months ago
2007
This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, eq...
151
click to vote
RITA
2000
15 years 4 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
152
click to vote
CAV
1997
Springer
15 years 8 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
128
Voted
LOGCOM
2010
15 years 3 months ago
2010
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation...
125
click to vote
HAPTICS
2003
IEEE
15 years 9 months ago
2003
IEEE
In performing most everyday tasks, we use information from several different sensory modalities, yet our understanding of how these inputs are integrated is limited. The present s...