Abstract | ||
---|---|---|
abstract. A logic LTD is defined, inspired by [37]. It is syntactically like basic modal,logic with an additional unary operator but it has an interval-based semantics on structures with arbitrary lin ear frames. � ,is interpreted as meaning,‘the current interval has a finite partition whose all members,satisfy .’ LTD is translatable into weak monadic,second- order logic but not into first-order logic. The expressive po wer and the decidability properties of LTD and its fragments are studied. Keywords: decidability, expressive power, interval tense logic, linear order, |
Year | Venue | Keywords |
---|---|---|
2008 | Advances in Modal Logic 2006 | expressive power,satisfiability,modal logic,linear order,first order logic |
Field | DocType | Citations |
Discrete mathematics,Normal modal logic,Computer science,Multimodal logic,Algorithm,Modal logic,Many-valued logic,Dynamic logic (modal logic),Higher-order logic,Intermediate logic,S5 | Conference | 0 |
PageRank | References | Authors |
0.34 | 10 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tero Tulenheimo | 1 | 16 | 5.19 |