Book & Monographs
|
Conference
|
Contact Us
SEARCH
|
My Profile
|
My Shopping Cart
|
Logout
Home
Journal
Mathematics (Pure)
Mathematics (Applied)
Computer Science
Physics
Engineering and Technology
Statistics and Probability
Oceanography
All Journals
Submit a Manuscript
Author Login
Author Registration
Forget Password
Individual Subscriber Login
Login
Registration (for new Subscriber)
Forgot Password
Institutional Price List
Journal Menu
Journal Home
Editorial Board
Guidelines for Authors
Subscribe
Content
Publication Ethics and Publication Malpractice Statement
Content
Content
Volume 76 (2013)
Volume 76, Issue 1
Pg 1 - 78 (March 2013)
Volume 75 (2013)
Volume 75, Issue 2
Pg 75 - 150 (February 2013)
Volume 75, Issue 1
Pg 1 - 73 (February 2013)
Volume 74 (2013)
Volume 74, Issue 2
Pg 71 - 140 (January 2013)
Volume 74, Issue 1
Pg 1 - 70 (January 2013)
Volume 73 (2012)
Volume 73, Issue 2
Pg 71 - 134 (December 2012)
Volume 73, Issue 1
Pg 1 - 69 (December 2012)
Volume 72 (2012)
Volume 72, Issue 2
Pg 73 - 147 (November 2012)
Volume 72, Issue 1
Pg 1 - 72 (November 2012)
Volume 71 (2012)
Volume 71, Issue 2
Pg 79 - 151 (October 2012)
Volume 71, Issue 1
Pg 1 - 77 (October 2012)
Volume 70 (2012)
Volume 70, Issue 2
Pg 73 - 145 (September 2012)
Volume 70, Issue 1
Pg 1 - 71 (September 2012)
Volume 69 (2012)
Volume 69, Issue 2
Pg 75 - 144 (August 2012)
Volume 69, Issue 1
Pg 1 - 74 (August 2012)
Volume 68 (2012)
Volume 68, Issue 2
Pg 73 - 143 (July 2012)
Volume 68, Issue 1
Pg 1 - 71 (July 2012)
Volume 67 (2012)
Volume 67, Issue 2
Pg 75 - 152 (June 2012)
Volume 67, Issue 1
Pg 1 - 73 (June 2012)
Volume 66 (2012)
Volume 66, Issue 2
Pg 77 - 149 (May 2012)
Volume 66, Issue 1
Pg 1 - 76 (May 2012)
Volume 65 (2012)
Volume 65, Issue 2
Pg 73 - 142 (April 2012)
Volume 65, Issue 1
Pg 1 - 71 (April 2012)
Volume 64 (2012)
Volume 64, Issue 2
Pg 75 - 144 (March 2012)
Volume 64, Issue 1
Pg 1 - 74 (March 2012)
Volume 63 (2012)
Volume 63, Issue 2
Pg 73 - 144 (February 2012)
Volume 63, Issue 1
Pg 1 - 71 (February 2012)
Volume 62 (2012)
Volume 62, Issue 2
Pg 81 - 158 (January 2012)
Volume 62, Issue 1
Pg 1 - 80 (January 2012)
Volume 61 (2011)
Volume 61, Issue 2
Pg 81 - 159 (December 2011)
Volume 61, Issue 1
Pg 1 - 79 (December 2011)
Volume 60 (2011)
Volume 60, Issue 2
Pg 73 - 145 (November 2011)
Volume 60, Issue 1
Pg 1 - 72 (November 2011)
Volume 59 (2011)
Volume 59, Issue 2
Pg 75 - 147 (October 2011)
Volume 59, Issue 1
Pg 1 - 73 (October 2011)
Volume 58 (2011)
Volume 58, Issue 2
Pg 73 - 143 (September 2011)
Volume 58, Issue 1
Pg 1 - 71 (September 2011)
Volume 57 (2011)
Volume 57, Issue 2
Pg 73 - 137 (August 2011)
Volume 57, Issue 1
Pg 1 - 71 (August 2011)
Volume 56 (2011)
Volume 56, Issue 2
Pg 75 - 150 (July 2011)
Volume 56, Issue 1
Pg 1 - 74 (July 2011)
Volume 55 (2011)
Volume 55, Issue 2
Pg 79 - 157 (June 2011)
Volume 55, Issue 1
Pg 1 - 77 (June 2011)
Volume 54 (2011)
Volume 54, Issue 2
Pg 81 - 157 (May 2011)
Volume 54, Issue 1
Pg 1 - 79 (May 2011)
Volume 53 (2011)
Volume 53, Issue 2
Pg 77 - 153 (April 2011)
Volume 53, Issue 1
Pg 1 - 76 (April 2011)
Volume 52 (2011)
Volume 52, Issue 2
Pg 81 - 154 (March 2011)
Volume 52, Issue 1
Pg 1 - 80 (March 2011)
Volume 51 (2011)
Volume 51, Issue 2
Pg 81 - 163 (February 2011)
Volume 51, Issue 1
Pg 1 - 80 (February 2011)
Volume 50 (2011)
Volume 50, Issue 2
Pg 81 - 168 (January 2011)
Volume 50, Issue 1
Pg 1 - 80 (January 2011)
Volume 49 (2010)
Volume 49, Issue 2
Pg 85 - 167 (December 2010)
Volume 49, Issue 1
Pg 1 - 84 (December 2010)
Volume 48 (2010)
Volume 48, Issue 2
Pg 75 - 154 (November 2010)
Volume 48, Issue 1
Pg 1 - 73 (November 2010)
Volume 47 (2010)
Volume 47, Issue 2
Pg 85 - 167 (October 2010)
Volume 47, Issue 1
Pg 1 - 83 (October 2010)
Volume 46 (2010)
Volume 46, Issue 2
Pg 85 - 167 (September 2010)
Volume 46, Issue 1
Pg 1 - 83 (September 2010)
Volume 45 (2010)
Volume 45, Issue 2
Pg 83 - 161 (August 2010)
Volume 45, Issue 1
Pg 1 - 81 (August 2010)
Volume 44 (2010)
Volume 44, Issue 2
Pg 85 - 167 (July 2010)
Volume 44, Issue 1
Pg 1 - 84 (July 2010)
Volume 43 (2010)
Volume 43, Issue 2
Pg 81 - 159 (June 2010)
Volume 43, Issue 1
Pg 1 - 79 (June 2010)
Volume 42 (2010)
Volume 42, Issue 2
Pg 81 - 164 (May 2010)
Volume 42, Issue 1
Pg 1 - 80 (May 2010)
Volume 41 (2010)
Volume 41, Issue 2
Pg 83 - 161 (April 2010)
Volume 41, Issue 1
Pg 1 - 82 (April 2010)
Volume 40 (2010)
Volume 40, Issue 2
Pg 89 - 175 (March 2010)
Volume 40, Issue 1
Pg 1 - 88 (March 2010)
Volume 39 (2010)
Volume 39, Issue 2
Pg 81 - 159 (February 2010)
Volume 39, Issue 1
Pg 1 - 80 (February 2010)
Volume 38 (2010)
Volume 38, Issue 2
Pg 83 - 162 (January 2010)
Volume 38, Issue 1
Pg 1 - 82 (January 2010)
Volume 37 (2009)
Volume 37, Issue 3
Pg 237 - 347 (December 2009)
Volume 37, Issue 2
Pg 121 - 235 (November 2009)
Volume 37, Issue 1
Pg 1 - 120 (October 2009)
Volume 36 (2009)
Volume 36, Issue 3
Pg 271 - 403 (September 2009)
Volume 36, Issue 2
Pg 133 - 269 (August 2009)
Volume 36, Issue 1
Pg 1 - 131 (July 2009)
Volume 35 (2009)
Volume 35, Issue 3
Pg 277 - 409 (June 2009)
Volume 35, Issue 2
Pg 141 - 275 (May 2009)
Volume 35, Issue 1
Pg 1 - 139 (April 2009)
Volume 34 (2009)
Volume 34, Issue 3
Pg 285 - 421 (March 2009)
Volume 34, Issue 2
Pg 141 - 283 (February 2009)
Volume 34, Issue 1
Pg 1 - 139 (January 2009)
Volume 33 (2008)
Volume 33, Issue 3
Pg 307 - 436 (December 2008)
Volume 33, Issue 2
Pg 155 - 306 (November 2008)
Volume 33, Issue 1
Pg 1 - 154 (October 2008)
Volume 32 (2008)
Volume 32, Issue 3
Pg 285 - 443 (September 2008)
Volume 32, Issue 2
Pg 141 - 284 (August 2008)
Volume 32, Issue 1
Pg 1 - 140 (July 2008)
Volume 31 (2008)
Volume 31, Issue 3
Pg 273 - 436 (June 2008)
Volume 31, Issue 2
Pg 137 - 272 (May 2008)
Volume 31, Issue 1
Pg 1 - 136 (April 2008)
Volume 30 (2008)
Volume 30, Issue 3
Pg 265 - 407 (March 2008)
Volume 30, Issue 2
Pg 133 - 264 (February 2008)
Volume 30, Issue 1
Pg 1 - 132 (January 2008)
Volume 29 (2007)
Volume 29, Issue 3
Pg 357 - 519 (December 2007)
Volume 29, Issue 2
Pg 185 - 356 (November 2007)
Volume 29, Issue 1
Pg 1 - 183 (October 2007)
Volume 28 (2007)
Volume 28, Issue 3
Pg 345 - 520 (September 2007)
Volume 28, Issue 2
Pg 173 - 344 (August 2007)
Volume 28, Issue 1
Pg 1 - 172 (July 2007)
Volume 27 (2007)
Volume 27, Issue 3
Pg 321 - 516 (June 2007)
Volume 27, Issue 2
Pg 153 - 320 (May 2007)
Volume 27, Issue 1
Pg 1 - 152 (April 2007)
Volume 26 (2007)
Volume 26, Issue 3
Pg 289 - 432 (March 2007)
Volume 26, Issue 2
Pg 139 - 287 (February 2007)
Volume 26, Issue 1
Pg 1 - 138 (January 2007)
Volume 25 (2006)
Volume 25, Issue 3
Pg 225 - 369 (December 2006)
Volume 25, Issue 2
Pg 113 - 223 (November 2006)
Volume 25, Issue 1
Pg 1 - 111 (October 2006)
Volume 24 (2006)
Volume 24, Issue 3
Pg 249 - 380 (September 2006)
Volume 24, Issue 2
Pg 129 - 248 (August 2006)
Volume 24, Issue 1
Pg 1 - 128 (July 2006)
Volume 23 (2006)
Volume 23, Issue 3
Pg 241 - 362 (June 2006)
Volume 23, Issue 2
Pg 121 - 239 (May 2006)
Volume 23, Issue 1
Pg 1 - 120 (April 2006)
Volume 22 (2006)
Volume 22, Issue 3
Pg 225 - 338 (March 2006)
Volume 22, Issue 2
Pg 113 - 224 (February 2006)
Volume 22, Issue 1
Pg 1 - 111 (January 2006)
Volume 21 (2005)
Volume 21, Issue 3
Pg 241 - 364 (December 2005)
Volume 21, Issue 2
Pg 117 - 239 (November 2005)
Volume 21, Issue 1
Pg 1 - 115 (October 2005)
Volume 20 (2005)
Volume 20, Issue 3
Pg 249 - 365 (September 2005)
Volume 20, Issue 2
Pg 121 - 248 (August 2005)
Volume 20, Issue 1
Pg 1 - 119 (July 2005)
Volume 19 (2005)
Volume 19, Issue 3
Pg 249 - 367 (June 2005)
Volume 19, Issue 2
Pg 125 - 247 (May 2005)
Volume 19, Issue 1
Pg 1 - 123 (April 2005)
Volume 18 (2005)
Volume 18, Issue 3
Pg 241 - 360 (March 2005)
Volume 18, Issue 2
Pg 121 - 240 (February 2005)
Volume 18, Issue 1
Pg 1 - 120 (January 2005)
Volume 17 (2004)
Volume 17, Issue 3
Pg 243 - 369 (December 2004)
Volume 17, Issue 2
Pg 121 - 242 (November 2004)
Volume 17, Issue 1
Pg 1 - 120 (October 2004)
Volume 16 (2004)
Volume 16, Issue 3
Pg 249 - 372 (September 2004)
Volume 16, Issue 2
Pg 125 - 248 (August 2004)
Volume 16, Issue 1
Pg 1 - 123 (July 2004)
Volume 15 (2004)
Volume 15, Issue 3
Pg 309 - 458 (June 2004)
Volume 15, Issue 2
Pg 117 - 307 (May 2004)
Volume 15, Issue 1
Pg 1 - 115 (April 2004)
Volume 14 (2004)
Volume 14, Issue 3
Pg 243 - 360 (March 2004)
Volume 14, Issue 2
Pg 121 - 241 (February 2004)
Volume 14, Issue 1
Pg 1 - 119 (January 2004)
Volume 13 (2003)
Volume 13, Issue 3
Pg 145 - 215 (December 2003)
Volume 13, Issue 2
Pg 73 - 143 (November 2003)
Volume 13, Issue 1
Pg 1 - 72 (October 2003)
Volume 12 (2003)
Volume 12, Issue 3
Pg 155 - 225 (September 2003)
Volume 12, Issue 2
Pg 79 - 154 (August 2003)
Volume 12, Issue 1
Pg 1 - 78 (July 2003)
Volume 11 (2003)
Volume 11, Issue 3
Pg 169 - 247 (June 2003)
Volume 11, Issue 2
Pg 85 - 168 (May 2003)
Volume 11, Issue 1
Pg 1 - 84 (April 2003)
Volume 10 (2003)
Volume 10, Issue 3
Pg 161 - 236 (March 2003)
Volume 10, Issue 2
Pg 81 - 160 (February 2003)
Volume 10, Issue 1
Pg 1 - 79 (January 2003)
Volume 9 (2002)
Volume 9, Issue 3
Pg 157 - 235 (December 2002)
Volume 9, Issue 2
Pg 81 - 155 (November 2002)
Volume 9, Issue 1
Pg 1 - 79 (October 2002)
Volume 8 (2002)
Volume 8, Issue 3
Pg 169 - 252 (September 2002)
Volume 8, Issue 2
Pg 89 - 168 (August 2002)
Volume 8, Issue 1
Pg 1 - 87 (July 2002)
Volume 7 (2002)
Volume 7, Issue 3
Pg 169 - 261 (June 2002)
Volume 7, Issue 2
Pg 81 - 168 (May 2002)
Volume 7, Issue 1
Pg 1 - 80 (April 2002)
Volume 6 (2002)
Volume 6, Issue 3
Pg 201 - 278 (March 2002)
Volume 6, Issue 2
Pg 97 - 200 (February 2002)
Volume 6, Issue 1
Pg 1 - 95 (January 2002)
Volume 5 (2001)
Volume 5, Issue 3
Pg 301 - 416 (November 2001)
Volume 5, Issue 2
Pg 157 - 300 (August 2001)
Volume 5, Issue 1
Pg 1 - 156 (April 2001)
Vol. 4 (2000)
Vol. 4, Issue 3
Pg 239 - 378 (November 2000)
Vol. 4, Issue 2
Pg 119 - 238 (August 2000)
Vol. 4, Issue 1
Pg 1 - 118 (April 2000)
Categories
Computer Science
Engineering and Technology
Mathematics (Applied)
Mathematics (Pure)
Oceanography
Physics
Statistics and Probability
All Journals
Call for Papers:
Special Volume 2013 of the Far East Journal of Mathematical Sciences (FJMS) devoted to articles on Computer Sciences, Information Sciences, Financial Management and Biological Sciences.
*****
Foreign Subscriber Information:
Avail free access to the Electronic Version of Special Volume 2013 of the Far East Journal of Mathematical Sciences (FJMS) on its Foreign 2013 Subscription.
Call for Papers:
Special Volume 2013 of the Far East Journal of Mathematical Sciences (FJMS) devoted to articles on Computer Sciences, Information Sciences, Financial Management and Biological Sciences.
*****
Foreign Subscriber Information:
Avail free access to the Electronic Version of Special Volume 2013 of the Far East Journal of Mathematical Sciences (FJMS) on its Foreign 2013 Subscription.
Far East Journal of Applied Mathematics
Far East Journal of Applied Mathematics
Volume 47, Issue 1, Pages 1 - 10 (October 2010)
SEQUENTIAL DESCRIPTION LOGIC
Norihiro Kamide
Received August 18, 2010
Abstract
A new logic, called a sequential description logic
is obtained from the description logic
by adding a sequence modal operator which represents a sequence of symbols. By the sequence modal operator of
we can appropriately express “sequential information”. A theorem for embedding
into
is proved, and the concept satisfiability problem for
is shown to be decidable.
Keywords and phrases:
description logic, sequential information, decidability.
Next
ISSN: 0972-0960
This website is best viewed at 1024x768 or higher resolution with Microsoft Internet Explorer 6 or newer.
