504 search results - page 42 / 101 » Reasoning about local properties in modal logic |
118
click to vote
JAPLL
2010
15 years 8 days ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
119
click to vote
CSL
2005
Springer
15 years 7 months ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
110
click to vote
TARK
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
100
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
117
click to vote
AIML
2006
15 years 3 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...