×

Found 4,564 Documents (Results 1–100)

100
MathJax

First-order logic and its infinitary quantifier extensions over countable words. (English) Zbl 07530223

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 39-52 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the 4-spectrum of first-order properties of random graphs. (English. Russian original) Zbl 1484.05191

Dokl. Math. 104, No. 2, 247-249 (2021); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 500, 31-34 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Algorithmic properties of first-order modal logics of the natural number line in restricted languages. (English) Zbl 07585731

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 523-539 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Existence, definedness and definite descriptions in hybrid modal logic. (English) Zbl 07585722

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 349-368 (2020).
MSC:  03B45
PDF BibTeX XML Cite

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

Classification

all top 3

Software