Found 10 Documents (Results 1–10)
Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \). (Russian. English summary) Zbl 07896830
Pretabularity and Craig’s interpolation problem over the minimal logic. (Russian. English summary) Zbl 07896768
MSC:
03B45
Temporal logic with accessibility temporal relations generated by time states themselves. (English) Zbl 1437.03081
Branching time agents logics, satisfiability problem by rules in reduced form. (English) Zbl 1436.03126
Strong computability of slices over the logic GL. (Russian. English summary) Zbl 1397.03048
Filter Results by …
all
top 5
Volume
- 20, No. 2 (2023) (2)
- 20, No. 1 (2023) (1)
- 19, No. 1 (2022) (1)
- 17 (2020) (2)
- 16 (2019) (1)
- 15 (2018) (3)