Axioms for Branching Time

@article{Reynolds2002AxiomsFB,
  title={Axioms for Branching Time},
  author={Mark Reynolds},
  journal={J. Log. Comput.},
  year={2002},
  volume={12},
  pages={679-697}
}
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 e xpressive logical account is also given to support Peirce’s prohibition on truth values being attached to the contingent future. 

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 37 references

An axiomatizatio n of full computation tree

  • M. Reynolds
  • logic.Journal of Symbolic Logic,
  • 2001
3 Excerpts

onodic fragments of first-order temporal logics

  • I. Hodkinson, F. Wolter, M M.Zakharyaschev.
  • InProceedings of Logic for Programming…
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…