Search Results - Ciardelli, Ivano

Connections with dependence logic Connections with intuitionistic logic Dependence Logic Information Semantics Information Types Inquisitive Logic Intuitionistic Logic Logic of Dependency Logic of Questions Proofs-as-Programs Questions in first-order logic Questions in modal logic Questions in propositional logic connection inquisitive, intuitionistic, dependence logic how classical logic can be made inquisitive inquisitive semantics reasoning with questions role of questions in logic thema EDItEUR::C Language and Linguistics::CF Linguistics::CFA Philosophy of language thema EDItEUR::C Language and Linguistics::CF Linguistics::CFG Semantics, discourse analysis, stylistics thema EDItEUR::C Language and Linguistics::CF Linguistics::CFK Grammar, syntax and morphology thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic  conditionals  coordination  intonational meaning  modals  questions