×

Found 26,276 Documents (Results 1–100)

Graded modal logic with a single modality. (English) Zbl 07668119

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 643-657 (2022).
MSC:  03B45
PDF BibTeX XML Cite

EXPTIME-hardness of higher-dimensional Minkowski spacetime. (English) Zbl 07668112

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 491-505 (2022).
PDF BibTeX XML Cite
Full Text: arXiv

Completeness for an intuitionistic modal logic of vagueness. (English) Zbl 07668097

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 177-197 (2022).
MSC:  03B45 03B20
PDF BibTeX XML Cite

A multi-modal logic for Galois connections. (English) Zbl 07668096

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 155-176 (2022).
MSC:  03B45 03B44 06A15
PDF BibTeX XML Cite

Provability logics of hierarchies. (English) Zbl 07668091

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 59-76 (2022).
MSC:  03F45
PDF BibTeX XML Cite
Full Text: arXiv

Robustly complete finite-state abstractions for verification of stochastic systems. (English) Zbl 07643429

Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 80-97 (2022).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Prescribed teams of rules working on several objects. (English) Zbl 07630819

Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 9th international conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13419, 27-41 (2022).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software