Semantical analysis and modeling for OWL-S based on CSP

Journal of Computer Applications ◽

10.3724/sp.j.1087.2010.02173 ◽

2010 ◽

Vol 30 (8) ◽

pp. 2173-2176

Author(s):

Jian-shu YANG ◽

Jin-zhao WU ◽

Jin ZHOU

Keyword(s):

Semantical Analysis

Download Full-text

Semantical analysis of Arruda da CostaP systems and adjacent non-replacement relevant systems

Studia Logica ◽

10.1007/bf02176164 ◽

1978 ◽

Vol 37 (4) ◽

pp. 301-320 ◽

Author(s):

Richard Routley ◽

Andréa Loparić

Keyword(s):

Semantical Analysis

Download Full-text

Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 206–220. - R. Routley and H. Montgomery. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 (1968), p. 568.

Journal of Symbolic Logic ◽

10.1017/s0022481200092434 ◽

1970 ◽

Vol 35 (1) ◽

pp. 135-135

Author(s):

David Makinson

Keyword(s):

Modal Logic ◽

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

Semantical Analysis ◽

North Holland Publishing ◽

Propositional Calculi

Download Full-text

Semantical analysis of predicate logics without the contraction rule

Studia Logica ◽

10.1007/bf00379766 ◽

1985 ◽

Vol 44 (2) ◽

pp. 187-196 ◽

Author(s):

Hiroakira Ono

Keyword(s):

Semantical Analysis

Download Full-text

A Suggestion Regarding the Semantical Analysis of Performatives

10.1111/j.1746-8361.1976.tb00724.x ◽

1976 ◽

Vol 30 (2-3) ◽

pp. 117-134

Author(s):

Michael J. WHITE

Keyword(s):

Semantical Analysis

Download Full-text

ON THE SEMANTICAL ANALYSIS OF THE PARYPREDICATIVE UNITS OF COMPLEX FOLLOWING.

Theoretical & Applied Science ◽

10.15863/tas.2021.04.96.78 ◽

2021 ◽

Vol 96 (04) ◽

pp. 390-392

Author(s):

Dilmurod Rahmatjonovich Teshboyev ◽

Keyword(s):

Semantical Analysis

Download Full-text

From action to next and then to always (semantical analysis)

10.14711/thesis-b433367 ◽

1993 ◽

Author(s):

Chung Kei Wong

Keyword(s):

Semantical Analysis

Download Full-text

Semantical Analysis of Logic of Actions

Journal of Logic and Computation ◽

10.1093/logcom/5.2.203 ◽

1995 ◽

Vol 5 (2) ◽

pp. 203-212 ◽

Author(s):

MICHAEL TIOMKIN ◽

MICHAEL KAMINSKI

Keyword(s):

Semantical Analysis

Download Full-text

Semantical analysis of specification logic

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_28 ◽

1985 ◽

pp. 373-386 ◽

Author(s):

R. D. Tennent

Keyword(s):

Semantical Analysis ◽

Specification Logic

Download Full-text

Semantical Analysis of Specification Logic

Algol-like Languages ◽

10.1007/978-1-4757-3851-3_3 ◽

1997 ◽

pp. 41-64

Author(s):

Robert D. Tennent

Keyword(s):

Semantical Analysis ◽

Specification Logic

Download Full-text

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Mathematical Logic Quarterly ◽

10.1002/malq.19630090502 ◽

1963 ◽

Vol 9 (5-6) ◽

pp. 67-96 ◽

Author(s):

Saul A. Kripke

Keyword(s):

Modal Logic ◽

Semantical Analysis ◽

Propositional Calculi

Download Full-text