Reactive Kripke Semantics and Arc Accessibility

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Original languageEnglish
Title of host publicationVolume in Honour of Boris Trahtenbrot
EditorsA. Avron, N. Dershowitz
PublisherSpringer Finance
Publication statusPublished - 2007

Cite this