On Strictly Positive Fragments of Modal Logics with Confluence
We axiomatize strictly positive fragments of modal logics with the confluence axiom. We consider unimodal logics such as <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi mathvariant="bold">K</mi><mo>.</mo><mn mathvariant="bold">2</mn></mrow></sem...
Kaydedildi:
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
MDPI AG
2022-10-01
|
| Seri Bilgileri: | Mathematics |
| Konular: | |
| Online Erişim: | https://www.mdpi.com/2227-7390/10/19/3701 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|