Name
Year | Venue | Keywords |
|---|---|---|
2010 | Journal of Applied Non-Classical Logics | modal logic |
Field | DocType | Volume |
Discrete mathematics,Hybrid logic,Automated theorem proving,Algorithm,Multimodal logic,Operator (computer programming),Modal logic,Many-valued logic,Dynamic logic (modal logic),Mathematics | Journal | 20 |
Issue | Citations | PageRank |
1-2 | 6 | 0.45 |
References | Authors | |
18 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Serenella Cerrito | 1 | 139 | 13.72 |
| Marta Cialdea Mayer | 2 | 274 | 28.25 |