Found 21 Documents (Results 1–21)
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).
Inquisitive bisimulation. (English) Zbl 1529.03144
Additive first-order queries. (English) Zbl 07561479
Barcelo, Pablo (ed.) et al., 22nd international conference on database theory, ICDT 2019, March 26–28, 2019, Lisbon, Portugal. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 127, Article 19, 14 p. (2019).
MSC:
68P15
Bisimulation invariant monadic-second-order logic in the finite. (English) Zbl 1484.03048
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 117, 13 p. (2018).
A van Benthem theorem for fuzzy modal logic. (English) Zbl 1453.03024
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 909-918 (2018).
Bisimulation in inquisitive modal logic. (English) Zbl 1483.03016
Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 151-166 (2017).
MSC:
03B45
Model theory of XPath on data trees. II: Binary bisimulation and definability. (English) Zbl 1372.68078
Schema mappings: a case of logical dynamics in database theory. (English) Zbl 1328.68053
Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 67-100 (2014).
MSC:
68P15
A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus. (English) Zbl 1366.03186
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 478-487 (2013).
Modal characterisation theorems over special classes of frames. (English) Zbl 1185.03027
Reviewer: Valentin F. Goranko (Johannesburg)
Modal and guarded characterisation theorems over finite transition systems. (English) Zbl 1056.03018
Requirements, specifications, and minimal refinement. (English) Zbl 1261.68085
de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 218-232 (2002).
MSC:
68Q60
On preservation theorems for two-variable logic. (English) Zbl 0933.03041
Reviewer: Michel Hébert (Cairo)
Filter Results by …
Document Type
- Journal Articles (13)
- Collection Articles (8)
all
top 5
Author
- Otto, Martin (5)
- ten Cate, Balder David (3)
- Blumensath, Achim (2)
- Ciardelli, Ivano A. (2)
- Dawar, Anuj (2)
- Figueira, Santiago (2)
- Schröder, Lutz (2)
- Venema, Yde (2)
- Wild, Paul (2)
- Wolf, Felix A. (2)
- Abriola, Sergio (1)
- Acosta, Ignacio Bellas (1)
- Areces, Carlos (1)
- Bárány, Vince (1)
- Benedikt, Michael A. (1)
- Berger, Gerald (1)
- Carreiro, Facundo (1)
- Descotte, María Emilia (1)
- Ding, Yifeng (1)
- Facchini, Alessandro (1)
- Goldblatt, Robert Ian (1)
- Gorogiannis, Nikos (1)
- Grädel, Erich (1)
- Hodkinson, Ian Martin (1)
- Janin, David (1)
- Kolaitis, Phokion G. (1)
- König, Barbara (1)
- Koudijs, Raoul (1)
- Liu, Jixin (1)
- Pattinson, Dirk (1)
- Pieris, Andreas (1)
- Rosen, Eric (1)
- Ryan, Mark Dermot (1)
- Surinx, Dimitri (1)
- van Den, Bussche Jan (1)
- Wang, Yanjing (1)
- Zanasi, Fabio (1)
all
top 5
Serial
- J. Symb. Log. (2)
- Theor. Comput. Sci. (2)
- Ann. Pure Appl. Logic (2)
- Inf. Process. Lett. (1)
- Stud. Log. (1)
- Inf. Comput. (1)
- J. Logic Lang. Inf. (1)
- Math. Log. Q. (1)
- ACM Trans. Comput. Log. (1)
- Rev. Symb. Log. (1)
Software
- XPath (1)
