Found 6 Documents (Results 1–6)
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting. (English) Zbl 1354.03022
A survey on temporal logics for specifying and verifying real-time systems. (English) Zbl 1425.68258
A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains. (English) Zbl 1347.68317
Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 113-130 (2009).
Filter Results by …
Document Type
- Journal Articles (5)
- Collection Articles (1)
all
top 5
Author
- Artale, Alessandro (1)
- Erdur, Riza Cenk (1)
- Hampson, Christopher (1)
- Honavar, Vasant (1)
- Kontchakov, Roman (1)
- Konur, Savas (1)
- Kurucz, Agi (1)
- Rybakov, Mikhail Nikolaevich (1)
- Ryzhikov, Vladislav (1)
- Seylan, İnanç (1)
- Shkatov, Dmitry (1)
- Slutzki, Giora (1)
- Tao, Jia (1)
- Zakharyaschev, Michael Viktorovich (1)
