Results 171 to 180 of about 1,478 (181)

Kripke Models

2011
openaire   +1 more source

Kripke Models, Distributive Lattices, and Medvedev Degrees

Studia Logica, 2007
Sebastiaan Terwijn
exaly  

Applications of Kripke models to Heyting-Brouwer logic

Studia Logica, 1977
exaly  

Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebras

Fuzzy Sets and Systems
Miroslav Ciric, Đorđe Stakic, Stefan Stanimirović   +2 more
exaly  

Applications of Kripke models

1973
openaire   +1 more source

A Topological Model for Intuitionistic Analysis with Kripke's Scheme

Mathematical Logic Quarterly, 1978
openaire   +1 more source

Ordered sets R and Q as bases of Kripke models

Studia Logica, 1987
exaly  

Reactive Kripke models and contrary to duty obligations. Part A: Semantics

Journal of Applied Logic, 2013
exaly  

Kripke models with relative accessibility

Decision Support Systems, 1986
openaire   +1 more source

Kripke Models for Predicate Logic

2005
openaire   +1 more source