Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) - Kripke structure - Document - PDFSEARCH.IO

First Page	Meta Content
	Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) Add to Reading List Document Date: 2012-01-05 06:52:11 Open Document File Size: 510,83 KB Share Result on Facebook Facility University of Oxford / IT University of Copenhagen / University of Sussex / Saarland University / University of Copenhagen / / IndustryTerm large-scale software systems / / Organization University of Copenhagen / University of Sussex / University of Oxford / Saarland University / / Person Bernhard Reus / Jan Schwinghammer / Lars Birkedal / Kristian Støvring / / Position programmer / / ProvinceOrState Sussex / / Technology dom / / SocialTag Model theory Modal logic Denotational semantics Logic in computer science Kripke semantics Structure Natural deduction Orbifold Logic Mathematical logic

Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken)Add to Reading List