7326 search results - page 20 / 1466 » Methods for modalities 3 |
99
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
MICCAI
2007
Springer
16 years 2 months ago
2007
Springer
Ultrasound Myocardial Elastography (UME) and Tagged Magnetic Resonance Imaging (tMRI) are two imaging modalities that were developed in the recent years to quantitatively estimate ...
IC3K
2009
14 years 10 months ago
2009
101
Voted
ENTCS
2010
15 years 1 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
121
Voted
IJIS
2011
14 years 4 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...