Intensional and higher-order modal logic: with applications to Montague semantics
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
North Holland Pub. Co.
1975
|
| Series: | North-Holland mathematics studies
19 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Originally presented as the author's thesis, University of California, Berkeley, 1972 Includes bibliographical references (p. 144-148) |
| Physical Description: | 1 Online-Ressource (vii, 148 p.) |
| ISBN: | 9780444110022 044411002X |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317738 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1975 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444110022 |9 978-0-444-11002-2 | ||
| 020 | |a 044411002X |9 0-444-11002-X | ||
| 035 | |a (ZDB-33-EBS)ocn316568526 | ||
| 035 | |a (OCoLC)316568526 | ||
| 035 | |a (DE-599)BVBBV042317738 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 160 |2 22 | |
| 100 | 1 | |a Gallin, Daniel |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Intensional and higher-order modal logic |b with applications to Montague semantics |c Daniel Gallin |
| 264 | 1 | |a Amsterdam |b North Holland Pub. Co. |c 1975 | |
| 300 | |a 1 Online-Ressource (vii, 148 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a North-Holland mathematics studies |v 19 | |
| 500 | |a Originally presented as the author's thesis, University of California, Berkeley, 1972 | ||
| 500 | |a Includes bibliographical references (p. 144-148) | ||
| 650 | 4 | |a Modalité (Logique) | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Modality (Logic) |2 fast | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Intensionale Logik |0 (DE-588)4161959-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Intensionale Logik |0 (DE-588)4161959-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 689 | 3 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 3 | |8 5\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444110022 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754729 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804152914498813952 |
|---|---|
| any_adam_object | |
| author | Gallin, Daniel |
| author_facet | Gallin, Daniel |
| author_role | aut |
| author_sort | Gallin, Daniel |
| author_variant | d g dg |
| building | Verbundindex |
| bvnumber | BV042317738 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn316568526 (OCoLC)316568526 (DE-599)BVBBV042317738 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02655nmm a2200661zcb4500</leader><controlfield tag="001">BV042317738</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1975 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444110022</subfield><subfield code="9">978-0-444-11002-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">044411002X</subfield><subfield code="9">0-444-11002-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn316568526</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316568526</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317738</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gallin, Daniel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Intensional and higher-order modal logic</subfield><subfield code="b">with applications to Montague semantics</subfield><subfield code="c">Daniel Gallin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North Holland Pub. Co.</subfield><subfield code="c">1975</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (vii, 148 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">North-Holland mathematics studies</subfield><subfield code="v">19</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Originally presented as the author's thesis, University of California, Berkeley, 1972</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 144-148)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modalité (Logique)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modality (Logic)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444110022</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754729</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042317738 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444110022 044411002X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754729 |
| oclc_num | 316568526 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (vii, 148 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1975 |
| publishDateSearch | 1975 |
| publishDateSort | 1975 |
| publisher | North Holland Pub. Co. |
| record_format | marc |
| series2 | North-Holland mathematics studies |
| spelling | Gallin, Daniel Verfasser aut Intensional and higher-order modal logic with applications to Montague semantics Daniel Gallin Amsterdam North Holland Pub. Co. 1975 1 Online-Ressource (vii, 148 p.) txt rdacontent c rdamedia cr rdacarrier North-Holland mathematics studies 19 Originally presented as the author's thesis, University of California, Berkeley, 1972 Includes bibliographical references (p. 144-148) Modalité (Logique) Logique symbolique et mathématique Logic, Symbolic and mathematical fast Modality (Logic) fast Modality (Logic) Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Intensionale Logik (DE-588)4161959-6 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Intensionale Logik (DE-588)4161959-6 s 2\p DE-604 Modallogik (DE-588)4074914-9 s 3\p DE-604 Modelltheorie (DE-588)4114617-7 s 4\p DE-604 Mathematische Logik (DE-588)4037951-6 s 5\p DE-604 http://www.sciencedirect.com/science/book/9780444110022 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Gallin, Daniel Intensional and higher-order modal logic with applications to Montague semantics Modalité (Logique) Logique symbolique et mathématique Logic, Symbolic and mathematical fast Modality (Logic) fast Modality (Logic) Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Intensionale Logik (DE-588)4161959-6 gnd Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4114617-7 (DE-588)4161959-6 (DE-588)4074914-9 (DE-588)4113937-9 |
| title | Intensional and higher-order modal logic with applications to Montague semantics |
| title_auth | Intensional and higher-order modal logic with applications to Montague semantics |
| title_exact_search | Intensional and higher-order modal logic with applications to Montague semantics |
| title_full | Intensional and higher-order modal logic with applications to Montague semantics Daniel Gallin |
| title_fullStr | Intensional and higher-order modal logic with applications to Montague semantics Daniel Gallin |
| title_full_unstemmed | Intensional and higher-order modal logic with applications to Montague semantics Daniel Gallin |
| title_short | Intensional and higher-order modal logic |
| title_sort | intensional and higher order modal logic with applications to montague semantics |
| title_sub | with applications to Montague semantics |
| topic | Modalité (Logique) Logique symbolique et mathématique Logic, Symbolic and mathematical fast Modality (Logic) fast Modality (Logic) Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Intensionale Logik (DE-588)4161959-6 gnd Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Modalité (Logique) Logique symbolique et mathématique Logic, Symbolic and mathematical Modality (Logic) Mathematische Logik Modelltheorie Intensionale Logik Modallogik Hochschulschrift |
| url | http://www.sciencedirect.com/science/book/9780444110022 |
| work_keys_str_mv | AT gallindaniel intensionalandhigherordermodallogicwithapplicationstomontaguesemantics |