Relational methods in logic, language and information:
Abstract: "This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead up to the current focus on dynamics in the area. After that we give examples of logics of transition that natually arise in...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1995
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
95,61 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead up to the current focus on dynamics in the area. After that we give examples of logics of transition that natually arise in this setting, and we identify more general themes such as bisimulations, relativisations and dynamic modes of inference. We conclude with a discussion of newly emerging themes, and the limitations of the relational perspective." |
| Beschreibung: | 17 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011064735 | ||
| 003 | DE-604 | ||
| 005 | 20200123 | ||
| 007 | t | ||
| 008 | 961118s1995 |||| 00||| engod | ||
| 035 | |a (OCoLC)35649315 | ||
| 035 | |a (DE-599)BVBBV011064735 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 088 | |a CS R9561 | ||
| 100 | 1 | |a Blackburn, Patrick |d 1959- |e Verfasser |0 (DE-588)174091478 |4 aut | |
| 245 | 1 | 0 | |a Relational methods in logic, language and information |c P. Blackburn ; M. de Rijke ; Y. Venema |
| 264 | 1 | |a Amsterdam |c 1995 | |
| 300 | |a 17 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,61 | |
| 520 | 3 | |a Abstract: "This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead up to the current focus on dynamics in the area. After that we give examples of logics of transition that natually arise in this setting, and we identify more general themes such as bisimulations, relativisations and dynamic modes of inference. We conclude with a discussion of newly emerging themes, and the limitations of the relational perspective." | |
| 650 | 4 | |a Grammatik | |
| 650 | 4 | |a Grammar, Comparative and general | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 700 | 1 | |a Rijke, Maarten de |e Verfasser |4 aut | |
| 700 | 1 | |a Venema, Yde |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 95,61 |w (DE-604)BV008928356 |9 95,61 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007410649 | ||
Datensatz im Suchindex
| _version_ | 1804125553816502272 |
|---|---|
| any_adam_object | |
| author | Blackburn, Patrick 1959- Rijke, Maarten de Venema, Yde |
| author_GND | (DE-588)174091478 |
| author_facet | Blackburn, Patrick 1959- Rijke, Maarten de Venema, Yde |
| author_role | aut aut aut |
| author_sort | Blackburn, Patrick 1959- |
| author_variant | p b pb m d r md mdr y v yv |
| building | Verbundindex |
| bvnumber | BV011064735 |
| ctrlnum | (OCoLC)35649315 (DE-599)BVBBV011064735 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01742nam a2200349 cb4500</leader><controlfield tag="001">BV011064735</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200123 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961118s1995 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35649315</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011064735</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 R9561</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">Relational methods in logic, language and information</subfield><subfield code="c">P. Blackburn ; M. de Rijke ; Y. Venema</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">17 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,61</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead up to the current focus on dynamics in the area. After that we give examples of logics of transition that natually arise in this setting, and we identify more general themes such as bisimulations, relativisations and dynamic modes of inference. We conclude with a discussion of newly emerging themes, and the limitations of the relational perspective."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Grammatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Grammar, Comparative and general</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="700" ind1="1" ind2=" "><subfield code="a">Venema, Yde</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,61</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">95,61</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007410649</subfield></datafield></record></collection> |
| id | DE-604.BV011064735 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:03:24Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007410649 |
| oclc_num | 35649315 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 17 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 Relational methods in logic, language and information P. Blackburn ; M. de Rijke ; Y. Venema Amsterdam 1995 17 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 95,61 Abstract: "This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead up to the current focus on dynamics in the area. After that we give examples of logics of transition that natually arise in this setting, and we identify more general themes such as bisimulations, relativisations and dynamic modes of inference. We conclude with a discussion of newly emerging themes, and the limitations of the relational perspective." Grammatik Grammar, Comparative and general Logic, Symbolic and mathematical Rijke, Maarten de Verfasser aut Venema, Yde Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 95,61 (DE-604)BV008928356 95,61 |
| spellingShingle | Blackburn, Patrick 1959- Rijke, Maarten de Venema, Yde Relational methods in logic, language and information Grammatik Grammar, Comparative and general Logic, Symbolic and mathematical |
| title | Relational methods in logic, language and information |
| title_auth | Relational methods in logic, language and information |
| title_exact_search | Relational methods in logic, language and information |
| title_full | Relational methods in logic, language and information P. Blackburn ; M. de Rijke ; Y. Venema |
| title_fullStr | Relational methods in logic, language and information P. Blackburn ; M. de Rijke ; Y. Venema |
| title_full_unstemmed | Relational methods in logic, language and information P. Blackburn ; M. de Rijke ; Y. Venema |
| title_short | Relational methods in logic, language and information |
| title_sort | relational methods in logic language and information |
| topic | Grammatik Grammar, Comparative and general Logic, Symbolic and mathematical |
| topic_facet | Grammatik Grammar, Comparative and general Logic, Symbolic and mathematical |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT blackburnpatrick relationalmethodsinlogiclanguageandinformation AT rijkemaartende relationalmethodsinlogiclanguageandinformation AT venemayde relationalmethodsinlogiclanguageandinformation |