Results 191 to 195 of about 14,300 (195)

Model checking for nondeterministic multi-valued Kripke structures

, 2016
Li Li, Shen Yingxiong, Haiyu Pan
openalex  

Some of the next articles are maybe not open access.

Related searches:

Algebraic Kripke-Style Semantics for Relevance Logics

Journal of Philosophical Logic, 2013
exaly  

On generic Kripke structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)

, 2008
宏一郎 池田, 圭史 岡本
openalex  

Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures

Nikola Beneš, Luboš Brim, Ondřej Huvar, Samuel Pastva, David Šafránek   +4 more
openaire   +1 more source

A Kripke-Style Model for the Admissibility of Structural Rules

2002
openaire   +1 more source