Results 131 to 140 of about 6,864,933 (152)

Kripke, Katharine

Kripke, Katharine
core  

Some of the next articles are maybe not open access.

Related searches:

Model Checking of Variable Petri Nets by Using the Kripke Structure

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2022
Ru Yang, Tong Guo, Jiang Changjun
exaly  

Transformation of Kripke Structure With Linear Temporal Logic Formula to Büchi Automata

2023
Wiwat Vatanawood
exaly  

A new model for model checking: cycle-weighted Kripke structure

Frontiers of Computer Science, 2010
Jiaqi Zhu, Chunxiang Xu, Hanpin Wang
exaly  

Not all Kripke models of are locally

Advances in Mathematics, 2022
exaly  

On the structure of kripke models of heyting arithmetic

Mathematical Logic Quarterly, 1993
Zoran Marković
exaly  

Communication among agents: a way to revise beliefs in KD45 Kripke structures★

Journal of Applied Non-Classical Logics, 2004
Jean-Christophe Vergnaud, Jean-Marc Tallon, Shmuel Zamir   +2 more
exaly  

Characterizing Kripke structures in temporal logic

Lecture Notes in Computer Science, 2005
E M Clarke, O Grumberg
exaly  

Kripke-style semantics for many-valued logics

Mathematical Logic Quarterly, 2003
Franco Montagna
exaly