×

Found 15 Documents (Results 1–15)

A quantified coalgebraic van Benthem theorem. (English) Zbl 07410443

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 551-571 (2021).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Canonical models and the complexity of modal team logic. (English) Zbl 1515.03101

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 30, 23 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Expressivity and complexity of dependence logic. (English) Zbl 1429.03114

Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 5-32 (2016).
MSC:  03B60 68Q17 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Characterizing relative frame definability in team semantics via the universal modality. (English) Zbl 1478.03041

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 392-409 (2016).
MSC:  03B45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Characterizing frame definability in team semantics via the universal modality. (English) Zbl 1465.03063

Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9160, 140-155 (2015).
MSC:  03B45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Complexity of propositional independence and inclusion logic. (English) Zbl 1465.68104

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 269-280 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field