Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,407,954 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
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
2009
2009
Mathematical Logic The modal logic of β ( N )
G. Bezhanishvili
,
J. Harding
2009
Corpus ID: 18886534
Let β(N) denote the Stone–Čech compactification of the set N of natural numbers (with the discrete topology), and let N∗ denote…
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
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
Review
2006
Review
2006
Decidable properties of logical calculi and of varieties of algebras
L. Maksimova
2006
Corpus ID: 17719542
We give an overview of decidable and strongly decidable properties over the propositional modal logics K, GL, S4, S5 and Grz, and…
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