The modal predicate logic of real time

M J Cresswell

Abstract


The paper presents a simple proof of an early result by Dana Scott that the modal predicate logic of real time cannot be recursively axiomatized.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.