Name
Year | Venue | Keywords |
|---|---|---|
2002 | Advances in Modal Logic 2006 | expressive power,modal logic |
Field | DocType | Citations |
Accessibility relation,Normal modal logic,Computer science,Algorithm,Multimodal logic,Theoretical computer science,Modal logic,Expressive power,Dynamic logic (modal logic) | Conference | 3 |
PageRank | References | Authors |
0.43 | 1 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tero Tulenheimo | 1 | 16 | 5.19 |