Back to Search
Start Over
On the Relationships Between Theories of Time Granularity and the Monadic Second-order Theory of One Successor
- Source :
- Journal of Applied Non-Classical Logics, Journal of Applied Non-Classical Logics, Editions Hermes, 2006, 16 (3-4), pp.433-455, Journal of Applied Non-Classical Logics, Taylor & Francis, 2006, 16 (3-4), pp.433-455
- Publication Year :
- 2006
- Publisher :
- HAL CCSD, 2006.
-
Abstract
- International audience; In this paper we explore the connections between the monadic second-order theory of one successor (MSO[
- Subjects :
- Successor cardinal
Second order theory
[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]
B-theory of time
Logic
0102 computer and information sciences
02 engineering and technology
01 natural sciences
Layered structure
Chain (algebraic topology)
Computer Science::Logic in Computer Science
0202 electrical engineering, electronic engineering, information engineering
Mathematics
Discrete mathematics
monadic second-order logic
time granularity
decision problems
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Decision problem
Decidability
Philosophy
010201 computation theory & mathematics
020201 artificial intelligence & image processing
Granularity
Computer Science::Formal Languages and Automata Theory
Subjects
Details
- Language :
- English
- ISSN :
- 11663081 and 19585780
- Database :
- OpenAIRE
- Journal :
- Journal of Applied Non-Classical Logics, Journal of Applied Non-Classical Logics, Editions Hermes, 2006, 16 (3-4), pp.433-455, Journal of Applied Non-Classical Logics, Taylor & Francis, 2006, 16 (3-4), pp.433-455
- Accession number :
- edsair.doi.dedup.....faa9fae94344ee7d4163f3b7e772d731