Results 241 to 243 of about 16,014 (243)
Some of the next articles are maybe not open access.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
Studia Logica, 1993exaly
Characterizing finite Kripke structures in propositional temporal logic
Theoretical Computer Science, 1988exaly