‹
Kripke model
›
nounTürNamed after Saul Kripke.Köken İşaretler?
a. = ad • alay = alay yollu • Alm. = Almanca • anat. = anatomi • Ar. = Arapça • argo = argo söz • ask. = askerlik • bağ. = bağlaç • bit. b. = bitki bilimi • biy. = biyoloji • bl. = bilişim • Bulg. = Bulgarca • coğ. = coğrafya • ç. = çokluk • db. = dil bilgisi • -de = -de durum ekiyle kullanılan fiil • den. = denizcilik • -den = -den durum ekiyle kullanılan fiil • dil b. = dil bilimi • din b. = din bilgisi • e. = edat • -e = -e durum ekiyle kullanılan fiil • ed. = edebiyat • eğt. = eğitim bilimi • ekon. = ekonomi • Erm. = Ermenice • esk. = eskimiş • Far. = Farsça • fel. = felsefe • fiz. = fizik • fizy. = fizyoloji • Fr. = Fransızca • geom. = geometri • gök b. = gök bilimi • hkr. = hakaret yollu • hay. b. = hayvan bilimi • hlk. = halk ağzında • huk. = hukuk • -i = -i durum ekiyle kullanılan fiil • İbr. = İbranice • İng. = İngilizce • İsp. = İspanyolca • İt. = İtalyanca • jeol. = jeoloji • kaba = kaba konuşmada • kim. = kimya • Kor. = Korece • Lat. = Latince • -le = ile edatıyla kullanılan fiil • Mac. = Macarca • man. = mantık • mat. = matematik • mdn. = madencilik • mec. = mecaz • meteor. = meteoroloji • mim. = mimarlık • min. = mineroloji • Moğ. = Moğolca • müz. = müzik • nsz. = nesne almayan fiil • öz. = özel • Port. = Portekizce • ruh b. = ruh bilimi • Rus. = Rusça • Rum. = Rumca • sf. = sıfat • sin. = sinema • Sl. = Slavca • sp. = spor • şaka = şaka yollu • T. = Türkçe • tar. = tarih • tek. = teknik • tekno. = teknoloji • tıp = tıp • tic. = ticaret • tiy. = tiyatro • tkz. = teklifsiz konuşmada • top. b. = toplum bilimi • TV = televizyon • ünl. = ünlem • vb. = ve benzerleri • yar. = yardımcı fiil • Yun. = Yunanca • zf. = zarf • zm. = zamir
-bi gibi biçimler: ünlüyle başlayan ek aldığında aldığı biçim (örn. dip → dibi).

Anlamlar

A Kripke frame together with any one of the following: (1) a function associating each of the frame's worlds to a set of prime formulae which are "true" for the given world, (2) a function associating each prime formula to a set of worlds for which the prime formula is "true", (3) a forcing relation between worlds and prime formulae. Additionally, there is a set of rules for deducing (from the given function or relation) what formulae are forced to be true by a given world. (The set of rules depends on which logic the Kripke model is being applied to, whether one of several modal logics or intuitionistic logic). For intuitionistic logic the forcing relation satisfies a persistence relation, namely, if world w forces proposition p, then all worlds accessible from w also force p.

Etimoloji

Named after Saul Kripke.

Eş Anlam

Bu madde için eş anlamlı kaydı bulunmuyor.

Zıt Anlam

Bu madde için zıt anlamlı kaydı bulunmuyor.

Dil Bilgisi

Bu madde için ek dil bilgisi bulunmuyor.

Deyimler

Bu kelimeye bağlı veya kelimenin geçtiği deyim bulunamadı.

Atasözleri

Bu kelimeye bağlı veya kelimenin geçtiği atasözü bulunamadı.

Kalıp söz

Bu kelimeye bağlı veya kelimenin geçtiği kalıp söz bulunamadı.

İlişkili Sözler

Bu madde için bağlantılı deyim, atasözü veya ilişkili söz bulunmuyor.

Çekimler ve Sözcük Biçimleri

Bu madde için kayıtlı çekim veya sözcük biçimi bulunmuyor.

Kaynak ve Kayıt Bilgisi

Kaynak sınıfıSivil kaynak
Kaynak
Wiktionary / Kaikki
Kayıt durumu
Editoryal olarak onaylandı
Sürüm / aktarım
2026-09-06
Kullanım notu
CC BY-SA / GFDL (madde kaynak lisansı)
← Sözlüğe dön