Name
Abstract | ||
|---|---|---|
Logics of general branching time, or historical necessity, have long been studied but important axiomatization questions remain open. Here the difficulties of finding axioms for such logics are considered and ideas for solving some of the main open problems are presented. A new, more expressive logical account is also given to support Peirce's prohibition on truth values being attached to the cont... |
Year | DOI | Venue |
|---|---|---|
2002 | 10.1093/logcom/12.4.679 | Journal of Logic and Computation |
Keywords | Field | DocType |
Temporal logic,axiomatizations,decidability | Axiom,Truth value,Algorithm,Mathematics,Branching (version control) | Journal |
Volume | Issue | ISSN |
12 | 4 | 0955-792X |
Citations | PageRank | References |
12 | 0.78 | 15 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mark Reynolds | 1 | 93 | 15.44 |