Propositional inquisitive logic: a survey

zbMath1390.03027MaRDI QIDQ1650365

Ivano A. Ciardelli

Publication date: 3 July 2018

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

Full work available at URL: http://www.math.md/publications/csjm/issues/v24-n3/12251/

zbMATH Keywords

intermediate logicsinquisitive logicdependencyquestionsproofs-as-programs

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (17)

GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC ⋮ A relevant logic of questions ⋮ A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ Questions and dependency in intuitionistic logic ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Relevant epistemic logic with public announcements and common knowledge ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Disjunction and existence properties in inquisitive first-order logic ⋮ Inquisitive propositional dynamic logic ⋮ Explicating logical independence ⋮ Knowing Values and Public Inspection ⋮ Inquisitive Heyting algebras ⋮ Completeness for the classical antecedent fragment of inquisitive first-order logic ⋮ Indicative conditionals and graded information

This page was built for publication: Propositional inquisitive logic: a survey