Year | DOI | Venue |
---|---|---|
1985 | 10.1305/ndjfl/1093870760 | Notre Dame Journal of Formal Logic |
Keywords | Field | DocType |
dynamic logic | Discrete mathematics,Gödel's completeness theorem,Second-order logic,Algorithm,Dynamic logic (digital electronics),Mathematics,Higher-order logic,Intermediate logic,Dynamic logic (modal logic),Mathematical logic | Journal |
Volume | Issue | Citations |
26 | 1 | 4 |
PageRank | References | Authors |
0.82 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
László Csirmaz | 1 | 163 | 15.86 |