This paper is an extended version of Kamide and Kaneiwa.
Conceptual modeling in full computation-tree logic with sequence modal operator†
Article first published online: 19 MAY 2011
Copyright © 2011 Wiley Periodicals, Inc.
International Journal of Intelligent Systems
Volume 26, Issue 7, pages 636–651, July 2011
How to Cite
Kaneiwa, K. and Kamide, N. (2011), Conceptual modeling in full computation-tree logic with sequence modal operator. Int. J. Intell. Syst., 26: 636–651. doi: 10.1002/int.20486
- Issue published online: 19 MAY 2011
- Article first published online: 19 MAY 2011
Options for accessing this content:
- If you have access to this content through a society membership, please first log in to your society website.
- If you would like institutional access to this content, please recommend the title to your librarian.
- Login via other institutional login options http://onlinelibrary.wiley.com/login-options.
- You can purchase online access to this Article for a 24-hour period (price varies by title)
- If you already have a Wiley Online Library or Wiley InterScience user account: login above and proceed to purchase the article.
- New Users: Please register, then proceed to purchase the article.
Login via OpenAthens
Search for your institution's name below to login via Shibboleth.
Registered Users please login:
- Access your saved publications, articles and searches
- Manage your email alerts, orders and subscriptions
- Change your contact information, including your password
Please register to:
- Save publications, articles and searches
- Get email alerts
- Get all the benefits mentioned below!