Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,400,060 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.
2018
2018
Characteristics of Production and Quality of East Kalimantan Black Pepper
O. Rostiana
,
D. Manohara
,
A. Ruhnayat
,
Nfn Wiratno
2018
Corpus ID: 90809499
East Kalimantan is one of production center for white blackpepper, known as Samarinda White Pepper products. The variety…
Expand
2018
2018
Peta Ruang Blok 3, 7 dan 11 Semester Genap TA.2018/2019
akademikpdg
2018
Corpus ID: 131443387
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
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
2012
2012
Analisa Perbandingan Produktivitas Kerja Pada Pekerjaan Dinding Bata Konvesional Dengan Dinding Blok Hebel
M. Sahid
,
Imam Safi'i
2012
Corpus ID: 178567344
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
2008
2008
Hubungan negara dengan perusahaan multinasional :: Case study Hubungan Pemerintah dengan Exxon Mobil (EM) dalam proses negosiasi Operatorship penambangan minyak Blok Cepu
Ahmad Efendi
,
M. Sugiono
2008
Corpus ID: 129812240
Blok Cepu yang menjadi salah satu wilayah kerja dari Pertamina tidak menempatkan Pertamina sendiri sebagai operatorship. Alasan…
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
1999
1999
Computationele vergelijking en classificatie van dialecten
J. Nerbonne
,
W. Heeringa
1999
Corpus ID: 123269257
In traditional dialectology, maps are divided into dialect areas on the basis of isoglosses or with the use of the arrow method…
Expand
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