A modality for recursion

@article{Nakano2000AMF,
  title={A modality for recursion},
  author={Hiroshi Nakano},
  journal={Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332)},
  year={2000},
  pages={255-266}
}

• Hiroshi Nakano
• Published in
  Proceedings Fifteenth Annual…
  2000
• DOI:10.1109/LICS.2000.855774

We propose a modal logic that enables us to handle self-referential formulae, including ones with negative self-references, which on one hand, would introduce a logical contradiction, namely Russell's paradox, in the conventional setting, while on the other hand, are necessary to capture a certain class of programs such as fixed point combinators and objects with so-called binary methods in object oriented programming. Our logic provides a basis for axiomatic semantics of such a wider range of… CONTINUE READING

View on IEEE

Save to Library

Create Alert

Cite