A Step−Indexed Kripke Model of Hidden State

A Step−Indexed Kripke Model of Hidden State

Bibliographic Details
Main Authors:	Schwinghammer, J, Birkedal, L, Pottier, F, Reus, B, Stovring, K, Yang, H
Format:	Journal article
Published:	2011

Similar Items

Step−Indexed Kripke Models over Recursive Worlds
by: Birkedal, L, et al.
Published: (2011)

Step-Indexed Kripke Models over Recursive Worlds
by: Birkedal, L, et al.
Published: (2011)

A Semantic Foundation for Hidden State
by: Schwinghammer, J, et al.
Published: (2010)

First steps in synthetic guarded domain theory: step-indexing in the topos of trees
by: Lars Birkedal, et al.
Published: (2012-10-01)

Step-Indexed Relational Reasoning for Countable Nondeterminism
by: Lars Birkedal, et al.
Published: (2013-10-01)

A Simple Model of Separation Logic for Higher−Order Store
by: Birkedal, L, et al.
Published: (2008)

Nested Hoare Triples and Frame Rule for Higher−order Store
by: Schwinghammer, J, et al.
Published: (2011)

Nested Hoare Triples and Frame Rule for Higher−order Store
by: Schwinghammer, J, et al.
Published: (2009)

Composite reductions for Kripke models
by: Y. A. Belov.
Published: (2010-09-01)

Nested Hoare Triples and Frame Rules for Higher-order Store
by: Jan Schwinghammer, et al.
Published: (2011-09-01)

Davidson’s Answer to Kripke’s Sceptic
by: Olivia Sultanescu, et al.
Published: (2019-03-01)

Kripke's Critique of Descriptivism Revisited
by: Pierre Baumann
Published: (2010-11-01)

Kripke’s Critique of Descriptivism Revisited
by: Pierre Baumann
Published: (2010-06-01)

Kripke’s Wittgenstein and Semantic Factualism
by: Miloš Šumonja
Published: (2021-03-01)

Modal Logic before Kripke
by: Max Cresswell
Published: (2019-08-01)

Kripke’s Wittgenstein, factualism and meaning
by: Alexander Miller, et al.
Published: (2015-01-01)

A Critical Review of the Mainstream Reading of Kripke’s Wittgenstein: οn Misunderstanding Kripke’s Wittgenstein
by: Ali Hosseinkhani
Published: (2023-11-01)

Kripke-Style Models for Logics of Evidence and Truth
by: Henrique Antunes, et al.
Published: (2020-08-01)

A Step-indexed Semantics of Imperative Objects
by: Catalin Hritcu, et al.
Published: (2009-12-01)

Reevaluando la tesis Kripke-Putnam
by: Pierre Baumann
Published: (2013-01-01)

Reevaluando la tesis Kripke-Putnam
by: Pierre Baumann
Published: (2013-01-01)

Scientific Essentialism from Kripke to Ellis
by: Maryam Moayerzadeh ; Musa Akrami
Published: (2014-06-01)

Kripke's two definitions of rigid designation
by: Li, Chenyang
Published: (2013)

Semantic Non-factualism in Kripke’s Wittgenstein
by: Daniel Boyd
Published: (2017-09-01)

Referência semântica: referência pragmática sob Kripke
by: Campos, Jorge
Published: (1992-01-01)

A Criticism of Kripke’s Semantic for Intuitionistic Logic
by: Wagner de Campos Sanz
Published: (2016-12-01)

Esencia y modalidad: Husserl y Kripke
by: Claude Romano
Published: (2012-06-01)

Kripke’s metaphysical necessity: a Kantian perspective
by: Ediovani Antônio Gaboardi
Published: (2021-06-01)

Por qué la aposterioridad no (basta, según Kripke, ni) basta* (Why Aposteriority Is Not (Enough according to Kripke, Nor Is) Enough)
by: Dan LÓPEZ DE SA
Published: (2010-01-01)

Kripke Semantics for Martin-L\"of's Extensional Type Theory
by: Steve Awodey, et al.
Published: (2011-09-01)

Putnam's Theory of Natural Kinds and Their Names is not the Same as Kripke's
by: Ian Hacking
Published: (2007-06-01)

Logical Step-Indexed Logical Relations
by: Derek Dreyer, et al.
Published: (2011-06-01)

Pérez Otero, Esbozo de la Filosofía de Kripke
by: Agustín Arrieta
Published: (2009-12-01)

"Kripke´s Near Miss" and Some Other Considerations On Rule Following
by: Rodrigo Jungmann de Castro
Published: (2010-09-01)

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures
by: Louise Foshammer, et al.
Published: (2016-07-01)

Reflexiones sobre el nombrar a partir de la comprensióndel lenguaje de Saul Kripke / Reflections on naming from Saul Kripke´s language comprehension
by: William Orlando Cárdenas Marín
Published: (2016-07-01)

PLATONAS, CARROLLIS, WITTGENSTEINAS IR KRIPKE APIE PRIVAČIOS KALBOS GALIMYBĘ
by: Saulenė Pučiliauskaitė
Published: (2003-01-01)

PLATONAS, CARROLLIS, WITTGENSTEINAS IR KRIPKE APIE PRIVAČIOS KALBOS GALIMYBĘ
by: Vardenis Pavardenis
Published: (2003-01-01)

PLATONAS, CARROLLIS, WITTGENSTEINAS IR KRIPKE APIE PRIVAČIOS KALBOS GALIMYBĘ
by: Saulenė Pučiliauskaitė
Published: (2003-01-01)

PLATONAS, CARROLLIS, WITTGENSTEINAS IR KRIPKE APIE PRIVAČIOS KALBOS GALIMYBĘ
by: Saulenė Pučiliauskaitė
Published: (2003-01-01)