Decidability Preservation and Complexity Bounds for Combined Logics
Transfer theorems for combined logics provide essential tools and insight for reasoning about complex logical systems. In this paper, we present the first sufficient criterion <i>(contextual extensibility</i>) for decidability to be preserved through combination of propositional logics, and we study...
Kaydedildi:
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
MDPI AG
2022-09-01
|
| Seri Bilgileri: | Mathematics |
| Konular: | |
| Online Erişim: | https://www.mdpi.com/2227-7390/10/19/3481 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|