Why combine logics?:
Abstract: "Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made [sic] logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1995
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
95,33 |
| Subjects: | |
| Summary: | Abstract: "Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made [sic] logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages. By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. Using the history of quantified modal logic as our main example, we also show that the use of combined structures and logics is a recurring theme in the analysis of existing logical systems." |
| Physical Description: | 18 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011063016 | ||
| 003 | DE-604 | ||
| 005 | 20200123 | ||
| 007 | t | ||
| 008 | 961115s1995 |||| 00||| engod | ||
| 035 | |a (OCoLC)33852754 | ||
| 035 | |a (DE-599)BVBBV011063016 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 088 | |a CS R9533 | ||
| 100 | 1 | |a Blackburn, Patrick |d 1959- |e Verfasser |0 (DE-588)174091478 |4 aut | |
| 245 | 1 | 0 | |a Why combine logics? |c P. Blackburn ; M. de Rijke |
| 264 | 1 | |a Amsterdam |c 1995 | |
| 300 | |a 18 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 95,33 | |
| 520 | 3 | |a Abstract: "Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made [sic] logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages. By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. Using the history of quantified modal logic as our main example, we also show that the use of combined structures and logics is a recurring theme in the analysis of existing logical systems." | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 700 | 1 | |a Rijke, Maarten de |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 95,33 |w (DE-604)BV008928356 |9 95,33 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007409172 | ||
Record in the Search Index
| _version_ | 1804125551729836032 |
|---|---|
| any_adam_object | |
| author | Blackburn, Patrick 1959- Rijke, Maarten de |
| author_GND | (DE-588)174091478 |
| author_facet | Blackburn, Patrick 1959- Rijke, Maarten de |
| author_role | aut aut |
| author_sort | Blackburn, Patrick 1959- |
| author_variant | p b pb m d r md mdr |
| building | Verbundindex |
| bvnumber | BV011063016 |
| ctrlnum | (OCoLC)33852754 (DE-599)BVBBV011063016 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01787nam a2200313 cb4500</leader><controlfield tag="001">BV011063016</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200123 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961115s1995 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33852754</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011063016</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-83</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">CS R9533</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Blackburn, Patrick</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)174091478</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Why combine logics?</subfield><subfield code="c">P. Blackburn ; M. de Rijke</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">18 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">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">95,33</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made [sic] logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages. By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. Using the history of quantified modal logic as our main example, we also show that the use of combined structures and logics is a recurring theme in the analysis of existing logical systems."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rijke, Maarten de</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">95,33</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">95,33</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007409172</subfield></datafield></record></collection> |
| id | DE-604.BV011063016 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:03:22Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007409172 |
| oclc_num | 33852754 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 18 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Blackburn, Patrick 1959- Verfasser (DE-588)174091478 aut Why combine logics? P. Blackburn ; M. de Rijke Amsterdam 1995 18 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 95,33 Abstract: "Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made [sic] logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages. By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. Using the history of quantified modal logic as our main example, we also show that the use of combined structures and logics is a recurring theme in the analysis of existing logical systems." Logic, Symbolic and mathematical Rijke, Maarten de Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 95,33 (DE-604)BV008928356 95,33 |
| spellingShingle | Blackburn, Patrick 1959- Rijke, Maarten de Why combine logics? Logic, Symbolic and mathematical |
| title | Why combine logics? |
| title_auth | Why combine logics? |
| title_exact_search | Why combine logics? |
| title_full | Why combine logics? P. Blackburn ; M. de Rijke |
| title_fullStr | Why combine logics? P. Blackburn ; M. de Rijke |
| title_full_unstemmed | Why combine logics? P. Blackburn ; M. de Rijke |
| title_short | Why combine logics? |
| title_sort | why combine logics |
| topic | Logic, Symbolic and mathematical |
| topic_facet | Logic, Symbolic and mathematical |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT blackburnpatrick whycombinelogics AT rijkemaartende whycombinelogics |