Found 4 Documents (Results 1–4)
Unification in linear modal logic on non-transitive time with the universal modality. (English) Zbl 1530.03074
Filter Results by …
Author
Volume
- 15, No. 1 (2022) (1)
- 11, No. 1 (2018) (1)
- 9, No. 2 (2016) (1)
- 6, No. 2 (2013) (1)