LISMONT, Luc; MONGIN, Philippe - Center for Operations Research and Econometrics (CORE), … - 1994
their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in … terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular …