Catálogo de publicaciones - libros

Compartir en
redes sociales

Título de Acceso Abierto

Inquisitive Logic: Consequence and Inference in the Realm of Questions

Parte de: Trends in Logic

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Logic of Questions; Inquisitive Logic; Information Semantics; Logic of Dependency; Dependence Logic; Intuitionistic Logic; Proofs-as-Programs; Information Types; role of questions in logic; Questions in propositional logic; reasoning with questions; Questions in first-order logic; Questions in modal logic; Connections with intuitionistic logic; Connections with dependence logic; how classical logic can be made inquisitive; connection inquisitive, intuitionistic, dependence logic