Back to Search
Start Over
On undecidability of the propositional logic of an associative binary modality.
- Source :
-
Archive for Mathematical Logic . Nov2024, Vol. 63 Issue 7/8, p837-857. 21p. - Publication Year :
- 2024
-
Abstract
- It is shown that both classical and intuitionistic propositional logics of an associative binary modality are undecidable. The proof is based on the deduction theorem for these logics. [ABSTRACT FROM AUTHOR]
- Subjects :
- *LOGIC
*PROPOSITION (Logic)
*KRIPKE semantics
*MODAL logic
Subjects
Details
- Language :
- English
- ISSN :
- 09335846
- Volume :
- 63
- Issue :
- 7/8
- Database :
- Academic Search Index
- Journal :
- Archive for Mathematical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 179604947
- Full Text :
- https://doi.org/10.1007/s00153-024-00921-w