MARC details
000 -LEADER |
fixed length control field |
03144namaa2200625uu 4500 |
001 - CONTROL NUMBER |
control field |
oapen61840 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
oapen |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20231221122219.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr|mn|---annan |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
230317s2022 xx |||||o ||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
978-3-031-09706-5 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783031097065 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/978-3-031-09706-5 |
Source of number or code |
doi |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
oapen |
Transcribing agency |
oapen |
041 0# - LANGUAGE CODE |
Language code of text/sound track or separate title |
eng |
042 ## - AUTHENTICATION CODE |
Authentication code |
dc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
HPL |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
PBC |
Source |
bicssc |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Ciardelli, Ivano |
Relator code |
auth |
9 (RLIN) |
82662 |
245 10 - TITLE STATEMENT |
Title |
Inquisitive Logic |
Remainder of title |
Consequence and Inference in the Realm of Questions |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Cham |
Name of publisher, distributor, etc |
Springer Nature |
Date of publication, distribution, etc |
2022 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 electronic resource (272 p.) |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
490 1# - SERIES STATEMENT |
Series statement |
Trends in Logic |
Volume number/sequential designation |
60 |
506 0# - RESTRICTIONS ON ACCESS NOTE |
Terms governing access |
Open Access |
Standardized terminology for access restriction |
Unrestricted online access |
Source of term |
star |
520 ## - SUMMARY, ETC. |
Summary, etc |
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefore be treated with the logician's toolkit, including model-theoretic constructions and proof systems. After motivating the enterprise, the book describes how classical propositional and predicate logic can be made inquisitive-i.e., extended conservatively with questions-and what the resulting logics look like in terms of meta-theoretic properties and proof systems. Finally, the book discusses the tight connections between inquisitive logic and dependence logic. |
536 ## - FUNDING INFORMATION NOTE |
Text of note |
H2020 European Research Council |
540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE |
Terms governing use and reproduction |
Creative Commons |
-- |
by/4.0/ |
-- |
cc |
Uniform Resource Identifier |
<a href="http://creativecommons.org/licenses/by/4.0/">http://creativecommons.org/licenses/by/4.0/</a> |
546 ## - LANGUAGE NOTE |
Language note |
English |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Mathematical foundations |
Source of heading or term |
bicssc |
9 (RLIN) |
1561982 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Philosophy: logic |
Source of heading or term |
bicssc |
9 (RLIN) |
916176 |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
connection inquisitive, intuitionistic, dependence logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Connections with dependence logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Connections with intuitionistic logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Dependence Logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
how classical logic can be made inquisitive |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Information Semantics |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Information Types |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Inquisitive Logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Intuitionistic Logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Logic of Dependency |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Logic of Questions |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Proofs-as-Programs |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Questions in first-order logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Questions in modal logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Questions in propositional logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
reasoning with questions |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
role of questions in logic |
793 0# - |
-- |
OAPEN Library. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/id/f6b1efd8-dccf-4ebf-a198-01ff50c6ce0c/978-3-031-09706-5.pdf">https://library.oapen.org/bitstream/id/f6b1efd8-dccf-4ebf-a198-01ff50c6ce0c/978-3-031-09706-5.pdf</a> |
-- |
0 |
Public note |
Open Access: OAPEN Library, download the publication |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://library.oapen.org/handle/20.500.12657/61840">https://library.oapen.org/handle/20.500.12657/61840</a> |
-- |
0 |
Public note |
Open Access: OAPEN Library: description of the publication |