Model theory for modal logic: Kripke models for modal predicate calculi
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht [u.a.]
Reidel
1979
|
| Series: | Synthese library
127 |
| Subjects: | |
| Physical Description: | X, 127 S. |
| ISBN: | 9027709297 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002259645 | ||
| 003 | DE-604 | ||
| 005 | 20090605 | ||
| 007 | t | ||
| 008 | 890928s1979 |||| 00||| eng d | ||
| 020 | |a 9027709297 |9 90-277-0929-7 | ||
| 035 | |a (OCoLC)4194187 | ||
| 035 | |a (DE-599)BVBBV002259645 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-19 |a DE-703 |a DE-355 |a DE-20 |a DE-29T |a DE-706 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9.46 | |
| 082 | 0 | |a 511/.3 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Bowen, Kenneth A. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Model theory for modal logic |b Kripke models for modal predicate calculi |c Kenneth A. Bowen |
| 264 | 1 | |a Dordrecht [u.a.] |b Reidel |c 1979 | |
| 300 | |a X, 127 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthese library |v 127 | |
| 650 | 4 | |a Calcul des prédicats | |
| 650 | 7 | |a Calcul des prédicats |2 ram | |
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 4 | |a Modalité (Logique) | |
| 650 | 7 | |a Modalité (Logique) |2 ram | |
| 650 | 4 | |a Modèles, Théorie des | |
| 650 | 7 | |a Modèles, théorie des |2 ram | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 4 | |a Model theory | |
| 650 | 4 | |a Predicate calculus | |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | 1 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Synthese library |v 127 |w (DE-604)BV000005044 |9 127 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001484979 | ||
| 980 | 4 | |a (DE-12)AK02950088 | |
Record in the Search Index
| _version_ | 1804116716821676032 |
|---|---|
| any_adam_object | |
| author | Bowen, Kenneth A. |
| author_facet | Bowen, Kenneth A. |
| author_role | aut |
| author_sort | Bowen, Kenneth A. |
| author_variant | k a b ka kab |
| building | Verbundindex |
| bvnumber | BV002259645 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.46 |
| callnumber-search | QA9.46 |
| callnumber-sort | QA 19.46 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2500 CC 2600 SK 130 |
| ctrlnum | (OCoLC)4194187 (DE-599)BVBBV002259645 |
| dewey-full | 511/.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.3 |
| dewey-search | 511/.3 |
| dewey-sort | 3511 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01743nam a2200529 cb4500</leader><controlfield tag="001">BV002259645</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090605 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1979 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9027709297</subfield><subfield code="9">90-277-0929-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)4194187</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002259645</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.46</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bowen, Kenneth A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model theory for modal logic</subfield><subfield code="b">Kripke models for modal predicate calculi</subfield><subfield code="c">Kenneth A. Bowen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Reidel</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 127 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Synthese library</subfield><subfield code="v">127</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Calcul des prédicats</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Calcul des prédicats</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modale logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modalité (Logique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modalité (Logique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modèles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modèles, théorie des</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Predicate calculus</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">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese library</subfield><subfield code="v">127</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">127</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001484979</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK02950088</subfield></datafield></record></collection> |
| id | DE-604.BV002259645 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:42:56Z |
| institution | BVB |
| isbn | 9027709297 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001484979 |
| oclc_num | 4194187 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-355 DE-BY-UBR DE-20 DE-29T DE-706 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-355 DE-BY-UBR DE-20 DE-29T DE-706 DE-83 DE-11 DE-188 |
| physical | X, 127 S. |
| publishDate | 1979 |
| publishDateSearch | 1979 |
| publishDateSort | 1979 |
| publisher | Reidel |
| record_format | marc |
| series | Synthese library |
| series2 | Synthese library |
| spelling | Bowen, Kenneth A. Verfasser aut Model theory for modal logic Kripke models for modal predicate calculi Kenneth A. Bowen Dordrecht [u.a.] Reidel 1979 X, 127 S. txt rdacontent n rdamedia nc rdacarrier Synthese library 127 Calcul des prédicats Calcul des prédicats ram Modale logica gtt Modalité (Logique) Modalité (Logique) ram Modèles, Théorie des Modèles, théorie des ram Modality (Logic) Model theory Predicate calculus Modelltheorie (DE-588)4114617-7 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf Modallogik (DE-588)4074914-9 s Modelltheorie (DE-588)4114617-7 s DE-604 Synthese library 127 (DE-604)BV000005044 127 |
| spellingShingle | Bowen, Kenneth A. Model theory for modal logic Kripke models for modal predicate calculi Synthese library Calcul des prédicats Calcul des prédicats ram Modale logica gtt Modalité (Logique) Modalité (Logique) ram Modèles, Théorie des Modèles, théorie des ram Modality (Logic) Model theory Predicate calculus Modelltheorie (DE-588)4114617-7 gnd Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4114617-7 (DE-588)4074914-9 |
| title | Model theory for modal logic Kripke models for modal predicate calculi |
| title_auth | Model theory for modal logic Kripke models for modal predicate calculi |
| title_exact_search | Model theory for modal logic Kripke models for modal predicate calculi |
| title_full | Model theory for modal logic Kripke models for modal predicate calculi Kenneth A. Bowen |
| title_fullStr | Model theory for modal logic Kripke models for modal predicate calculi Kenneth A. Bowen |
| title_full_unstemmed | Model theory for modal logic Kripke models for modal predicate calculi Kenneth A. Bowen |
| title_short | Model theory for modal logic |
| title_sort | model theory for modal logic kripke models for modal predicate calculi |
| title_sub | Kripke models for modal predicate calculi |
| topic | Calcul des prédicats Calcul des prédicats ram Modale logica gtt Modalité (Logique) Modalité (Logique) ram Modèles, Théorie des Modèles, théorie des ram Modality (Logic) Model theory Predicate calculus Modelltheorie (DE-588)4114617-7 gnd Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Calcul des prédicats Modale logica Modalité (Logique) Modèles, Théorie des Modèles, théorie des Modality (Logic) Model theory Predicate calculus Modelltheorie Modallogik |
| volume_link | (DE-604)BV000005044 |
| work_keys_str_mv | AT bowenkennetha modeltheoryformodallogickripkemodelsformodalpredicatecalculi |