18 papers:
LICS-2013-JungR #logic #semantics- Kripke Semantics for Modal Bilattice Logic (AJ, UR), pp. 438–447.
POPL-2012-HurDNV #bisimulation #logic- The marriage of bisimulations and Kripke logical relations (CKH, DD, GN, VV), pp. 59–72.
FoSSaCS-2011-SchwinghammerBS #metric #recursion- A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces (JS, LB, KS), pp. 305–319.
ICFP-2011-ThamsborgB #logic #program transformation- A kripke logical relation for effect-based program transformations (JT, LB), pp. 445–456.
- POPL-2011-BirkedalRSSTY #modelling #recursion
- Step-indexed kripke models over recursive worlds (LB, BR, JS, KS, JT, HY), pp. 119–132.
- POPL-2011-HurD #assembly #logic #ml
- A kripke logical relation between ML and assembly (CKH, DD), pp. 133–146.
- LICS-2009-BonsangueRS #algebra #polynomial
- An Algebra for Kripke Polynomial Coalgebras (MMB, JJMMR, AS), pp. 49–58.
TLCA-2009-AwodeyR #semantics #type system- Kripke Semantics for Martin-Löf’s Extensional Type Theory (SA, FR), pp. 249–263.
- FoSSaCS-2002-LaroussinieMS #model checking #on the
- On Model Checking Durational Kripke Structures (FL, NM, PS), pp. 264–279.
VMCAI-2002-Huth #model checking #using- Model Checking Modal Transition Systems Using Kripke Structures (MH), pp. 302–316.
CSL-2001-AlechinaMPR #category theory #logic #semantics- Categorical and Kripke Semantics for Constructive S4 Modal Logic (NA, MM, VdP, ER), pp. 292–307.
ICALP-2000-LuttgenM #modelling #semantics- Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models (GL, MM), pp. 163–174.
- CSL-1999-IshtiaqP #modelling #λ-calculus
- Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (SSI, DJP), pp. 235–249.
- ICALP-1994-AzizSBBS
- Equivalences for Fair Kripke Structures (AA, VS, FB, RKB, ALSV), pp. 364–375.
CAV-1990-Josko #equivalence- A Context Dependent Equivalence Relation Between Kripke Structures (BJ), pp. 204–213.
NACLP-1989-Harland- A Kripke-like Model for Negation as Failure (JH), pp. 626–642.
- LICS-1987-MitchellM #modelling #λ-calculus
- Kripke-Style models for typed λ calculus (JCM, EM), pp. 303–314.
CADE-1986-ThistlewaiteMM #automation #proving #theorem proving- The KRIPKE Automated Theorem Proving System (PBT, MAM, RKM), pp. 705–706.
