Rewrite rules for CTL

Journal of Applied Logic 21:24-56 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Axioms vs. rewrite rules: From completeness to cut elimination.Gilles Dowek - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 62--72.
Pāṇini's Grammar and Modern Computation.John Kadvany - 2016 - History and Philosophy of Logic 37 (4):325-346.
The Role of Rules.Ota Weinberger - 1988 - Ratio Juris 1 (3):224-240.
Order relations among efficient decision rules.Jacob Paroush - 1997 - Theory and Decision 43 (3):209-218.
A categorisation of school rules.Robert Thornberg - 2008 - Educational Studies 34 (1):25-33.
Instrumental rules and motivation.Antony Hatzistavrou - 2006 - Legal Theory 12 (4):315-345.

Analytics

Added to PP
2017-12-19

Downloads
13 (#886,512)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.

Add more references