Bashmakov, Stepan Igorevich; Zvereva, Tatyana Yurievna Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \). (Russian. English summary) Zbl 07896830 Sib. Èlektron. Mat. Izv. 20, No. 2, 1361-1373 (2023). MSC: 03B44 03B42 03A05 03B45 03B70 × Cite Format Result Cite Review PDF Full Text: DOI MNR
Bashmakov, Stepan I.; Zvereva, Tatyana Yu. Unification and finite model property for linear step-like temporal multi-agent logic with the universal modality. (English) Zbl 07811396 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 3, 345-361 (2022). MSC: 03B44 03B42 03A05 03B45 03B70 03H05 × Cite Format Result Cite Review PDF Full Text: DOI OA License