An Ehrenfeucht-Fraïssé game for inquisitive first-order logic

DOI10.1007/978-3-662-59565-7_9zbMath1525.03061OpenAlexW2954236092MaRDI QIDQ6084526

Gianluca Grilletti, Ivano A. Ciardelli

Publication date: 1 December 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-59565-7_9

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logics of knowledge and belief (including belief change) (03B42)

This page was built for publication: An Ehrenfeucht-Fraïssé game for inquisitive first-order logic