3515 search results - page 47 / 703 » On the semantics of Strategy Logic |
162
Voted
CSR
2006
Springer
15 years 10 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
146
Voted
JOLLI
2002
15 years 6 months ago
2002
In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is...
208
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
167
click to vote
FUZZY
1994
Springer
15 years 11 months ago
1994
Springer
In this paper, evolution strategy is applied in order to improve the time series prediction accuracy of a Sugeno and Takagi type fuzzy inference system FIS. The presented approach...
162
Voted
DLOG
2007
15 years 9 months ago
2007
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...