Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,391,518 papers from all fields of science
Search
Sign In
Create Free Account
Modal companion
Known as:
Gödel–McKinsey–Tarski translation
, Gödel-McKinsey-Tarski translation
, Gödel translation
Expand
In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic which interprets L by a certain canonical…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Admissible rule
Andrzej Grzegorczyk
First-order logic
General frame
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Pusat Layanan Usaha Terpadu UMKM Kota Malang (Optimalisasi Sentralisasi Ruang Layanan Utama dengan Pendekatan Sintaks)
Kevin Tjahyono
,
H. Santosa
,
Bambang S Yatnawijaya
2016
Corpus ID: 185445081
Pusat Layanan Usaha Terpadu (PLUT) berperan dalam memajukan UMKM dengan fasilitas-fasilitas layanan seperti pemasaran, pelatihan…
Expand
2015
2015
THE EFFECT OF HARD AND SOFT FACTORS ON THE SUCCESS OF A COMPANY
Péter Bóna
,
Robert L. Lippert
2015
Corpus ID: 56565143
What makes a company successful? What kind of instruments may it use to achieve outstanding results? Instruments necessary for…
Expand
2014
2014
Penggunaan Media Blok Pecahan Untuk Meningkatkan Hasil Belajar Matematika Materi Pecahan Kelas IV Semester 2 SD 1 Undaan Tengah Kudus.
Siti Kotiawati
2014
Corpus ID: 190029296
Penelitian ini dilatarbelakangi oleh rendahnya hasil belajar siswa pada mata pelajaran matematika karena dalam pembelajaran guru…
Expand
2013
2013
KARAKTERISTIK PRODUK REM BLOK METALIK UNTUK KERETA API PADA INDUSTRI KECIL PENGECORAN LOGAM
T. Daryanto
2013
Corpus ID: 190096024
KARAKTERISTIK PRODUK REM BLOK METALIK UNTUK KERETA API PADA INDUSTRI KECIL PENGECORAN LOGAM Lutiyatmi , Tri Daryanto Program…
Expand
2012
2012
Analisa Perbandingan Produktivitas Kerja Pada Pekerjaan Dinding Bata Konvesional Dengan Dinding Blok Hebel
M. Sahid
,
Imam Safi'i
2012
Corpus ID: 178567344
2012
2012
RANCANGAN GEOMETRI LERENG AREA IV PIT D_51_1DI PT. SINGLURUS PRATAMA BLOK SUNGAI MERDEKAKUTAI KARTANEGARA KALIMANTAN TIMUR
Dafiq Akhmedia Amin
2012
Corpus ID: 191426455
RANCANGAN GEOMETRI LERENG AREA IV PIT D_51_1 DI PT. SINGLURUS PRATAMA BLOK SUNGAI MERDEKA KUTAI KARTANEGARA KALIMANTAN TIMUR…
Expand
2011
2011
Tek tarafli spinal anestezide düşük doz bupivakain ve bupivakain- fentanil kombinasyonunun derlenmeye etkisi Effects of unilateral spinal anesthesia with low dose bupivacaine and bupivacaine-fentanyl…
B. Sönmez
,
M. Akçay
,
E. Y. Akçaboy
,
Zeynep Nur Akçaboy
,
Ahmet Küçük
,
Ankara Numune
2011
Corpus ID: 74420623
Gereç ve yöntem: Yaşları 18-60 yıl arası ASA 1-2, 42 hasta etik kurul onayı alındıktan sonra çalışmaya dahil edildi. Hastalar…
Expand
2008
2008
On the logics of algebra.
G. Barbour
2008
Corpus ID: 124410737
We present and consider a number of logics that arise naturally from universal algebraic considerations, but which are…
Expand
2005
2005
Farklı Sosyo-Ekonomik Düzeye Sahip Blok-Konut Kullanıcılarının Sabit İç Donatım Elemanlarından Memnuniyeti
Kemal Yıldırım
,
Aysu Başkaya
,
M. L. Hi̇dayetoğlu
2005
Corpus ID: 193162044
Bu calismada, toplu olarak tasarlanmis blok-konutlara ait mutfak dolabi, banyo dolabi, gomme dolap ve vestiyer gibi sabit ic…
Expand
1998
1998
Diamid pochodny kwasu tereftalowego i etanoloaminy oraz kopoli(etero-blok-amidoestry) z jego udziałem
A. Szymczyk
,
Z. Roslaniec
1998
Corpus ID: 93762567
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)
ACCEPT & CONTINUE