Proceedings MFOI-2016 Conference on Mathematical Foundations of Informatics Institute of Mathematics and Computer Science July 25-30, 2016, Chisinau, Moldova CZU 51+004(082) M 48 Copyright © Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, 2016. All rights reserved. INSTITUTE OF MATHEMATICS AND COMPUTER SCIENCE 5, Academiei street, Chisinau, Republic of Moldova, MD 2028 Tel: (373 22) 72-59-82, Fax: (373 22) 73-80-27, E-mail:
[email protected] WEB address: http://www.math.md Editors: Prof. S.Cojocaru, Prof. C.Gaindric. Authors are fully responsible for the content of their papers. Descrierea CIP a Camerei Naţionale a Cărţii Conference on Mathematical Foundations of Informatics: Institute of Mathematics and Computer Science, Jule 25‐30, 2016, Chişinău, Moldova: Proceedings MFOI‐2016/Inst. of Mathematics and Computer Science; ed.: S. Cojocaru, C. Gaindric. – Chişinău: Institute of Mathematics and Computer Science, 2016 (Tipogr. "Valinex" SRL). – 351 p. Referinţe bibliogr. la sfârşitul art. şi în subsol. – Apare cu sprijinul financiar al Information Society Development Institute. ISBN 978‐9975‐4237‐4‐8. 51+004(082) ISBN 978‐9975‐4237‐4‐8 This issue is supported by the Information Society Development Institute Part 1 Invited papers Proceedings of the Conference on Mathematical Foundations of Informatics MFOI2016, July 25-29, 2016, Chisinau, Republic of Moldova Propositional inquisitive logic: a survey Ivano Ciardelli Abstract This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual founda- tions of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and dependence logic, and describe an important feature of inquisitive proofs.