332
Voted
LICS
13 years 2 months ago
2012 IEEE 
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
136
click to vote
LICS
13 years 2 months ago
2012 IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
122
click to vote
LICS
13 years 2 months ago
2012 IEEE 
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
117
click to vote
LICS
13 years 2 months ago
2012 IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
154
click to vote
LICS
13 years 2 months ago
2012 IEEE 
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...
|
Automated Reasoning