Skip to search formSkip to main contentSkip to account menu

Kripke semantics

Known as: Filtered model, Kripke–Joyal semantics, Kripke-Joyal semantics 
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for… 
Wikipedia (opens in a new tab)

Related topics

Related topics

43 relations
Accessibility relationAdmissible ruleAtomic formulaBisimulation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
ON ADOPTING KRIPKE SEMANTICS IN SET THEORY
Several philosophers have argued that the logic of set theory should be intuitionistic on the grounds that the open-endedness of… 
2006
2006
ON MODAL LOGICS BETWEEN K×K×K AND S5× S5× S5
We prove that every n-modal logic between K and S5 is undecidable, whenever n ≥ 3. We also show that each of these logics is non… 
2004
2004
A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach
In this paper we define a logic to reason about coherent conditional probability, in the sense of de Finetti. Under this view, a… 
Highly Cited
2002
Highly Cited
2002
Design of sampled-data fuzzy-model-based control systems by using intelligent digital redesign
509 continuity property under question still remains valid. This critical situtation deserves special attention in the… 
Review
2000
Review
2000
Photosensitization and Photostabilization of Laser-Induced Index Changes in Optical Fibers
Abstract Improved understanding of the underlying fundamental mechanisms of the photosensitivity used to create index change… 
1995
1995
The Black Reef Quartzite Formation in the western Transvaal: sedimentological and economic aspects, and significance for basin evolution
A sedimentological study of the early Proterozoic Black Reef Quartzite Formation in the south-western parts of the Transvaal… 
1994
1994
Redox Treatment of an Fe/Al Pillared Montmorillonite. A Mössbauer Study
Pillared structures with an interlayer opening of ∼0.3 nm were obtained after successive heat treatments of the PILC precursor in… 
Review
1994
Review
1994
Unravelling the pre-Mesozoic history of Aar and Gotthard massifs (Central Alps) by isotopic dating: a review : The pre-Alpine crustal evolution of the Aar-, Gotthard- and Tavetsch massifs
The Aar and Gotthard «massifs» in the Central Alps represent portions of pre-Mesozoic basement relatively weakly overprinted by… 
Review
1986
Review
1986
The Molecular Mechanism of Photoreception
  • H. Stieve
  • Dahlem Workshop Reports
  • 1986
  • Corpus ID: 41275292
Until fairly recently, some of the fundamental characteristics of rhodopsin were much better described than its structure. Now… 
Highly Cited
1966
Highly Cited
1966
Does Vicia faba have Multi-stranded Chromosomes?
THE broad bean, Vicia faba, has been extensively used for cytological investigations because, among others, it has the advantage… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)