Inquisitive Logic

Authors: Ciardelli, Ivano

Subject Terms: 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

File Description: image/jpeg

Relation: Trends in Logic

Access URL: https://directory.doabooks.org/handle/20.500.12854/98517
https://library.oapen.org/handle/20.500.12657/61840
https://library.oapen.org/bitstream/20.500.12657/61840/1/978-3-031-09706-5.pdf

Inquisitive Logic

Authors: Ciardelli, Ivano

Subject Terms: 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, Philosophy: logic, Mathematical foundations

File Description: application/pdf

Relation: Trends in Logic

Access URL: https://library.oapen.org/handle/20.500.12657/61840

Inquisitive Logic: Consequence and Inference in the Realm of Questions

Authors: Ivano Ciardelli

Contributors: Ciardelli, Ivano

Subject Terms: 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

File Description: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-09708-9; serie:TRENDS IN LOGIC; info:eu-repo/grantAgreement/EC/H2020/680220; https://hdl.handle.net/11577/3467176

Availability: https://hdl.handle.net/11577/3467176
https://doi.org/10.1007/978-3-031-09706-5

Inquisitive Logic ; 978-3-031-09706-5.pdf

Authors: Ciardelli, Ivano

Subject Terms: 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, thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations

File Description: application/pdf

Relation: Trends in Logic; ONIX_20230317_9783031097065_5

Availability: https://library.oapen.org/handle/20.500.12657/61840
https://hdl.handle.net/20.500.12657/61840
https://link.springer.com/978-3-031-09706-5