Tarskian variations: dynamic parameters in classical semantics
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam
1994
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
94,19 |
| Schlagwörter: | |
| Abstract: | Abstract: "In this paper we propose a general perspective of 'Tarskian Variations' providing standard logics uniformly with a dynamic semantics. Many systems from the current literature can be viewed as different implementations of this same basic idea. Given that, we investigate two main technical issues. First, we develop our general dynamic semantics against the background of 'static' logic. In particular, we briefly sketch an axiomatization of our system and a correspondence theory for its models, while also providing an explicit translation of the system into a static one. Next, we study some questions of 'design' of dynamic languages: in particular, how to combine updates with non- eliminative programs, and how to choose a suitable procedural repertoire. Our answer to this second point consists in giving a number of criteria, suggested by other research areas, including logicality, bisimulation safety, as well as further denotational constraints from the theory of Generalized Quantifiers. As a case study we take dynamic negation, as it shows in various systems, providing some technical results on how to characterize its behaviour (using, for instance, inverse logic reasoning in Relational Algebra and Update Logic)." |
| Umfang: | 27 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010157173 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 950427s1994 xx |||| 00||| engod | ||
| 035 | |a (OCoLC)31639800 | ||
| 035 | |a (DE-599)BVBBV010157173 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Benthem, Johan van |d 1949- |e Verfasser |0 (DE-588)124543286 |4 aut | |
| 245 | 1 | 0 | |a Tarskian variations |b dynamic parameters in classical semantics |c J. van Benthem ; G. Cepparello |
| 264 | 1 | |a Amsterdam |c 1994 | |
| 300 | |a 27 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 94,19 | |
| 520 | 3 | |a Abstract: "In this paper we propose a general perspective of 'Tarskian Variations' providing standard logics uniformly with a dynamic semantics. Many systems from the current literature can be viewed as different implementations of this same basic idea. Given that, we investigate two main technical issues. First, we develop our general dynamic semantics against the background of 'static' logic. In particular, we briefly sketch an axiomatization of our system and a correspondence theory for its models, while also providing an explicit translation of the system into a static one. Next, we study some questions of 'design' of dynamic languages: in particular, how to combine updates with non- eliminative programs, and how to choose a suitable procedural repertoire. Our answer to this second point consists in giving a number of criteria, suggested by other research areas, including logicality, bisimulation safety, as well as further denotational constraints from the theory of Generalized Quantifiers. As a case study we take dynamic negation, as it shows in various systems, providing some technical results on how to characterize its behaviour (using, for instance, inverse logic reasoning in Relational Algebra and Update Logic)." | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computational linguistics | |
| 700 | 1 | |a Cepparello, Giovanna |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 94,19 |w (DE-604)BV008928356 |9 94,19 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006747195 | |
Datensatz im Suchindex
| _version_ | 1818952353094565888 |
|---|---|
| any_adam_object | |
| author | Benthem, Johan van 1949- Cepparello, Giovanna |
| author_GND | (DE-588)124543286 |
| author_facet | Benthem, Johan van 1949- Cepparello, Giovanna |
| author_role | aut aut |
| author_sort | Benthem, Johan van 1949- |
| author_variant | j v b jv jvb g c gc |
| building | Verbundindex |
| bvnumber | BV010157173 |
| ctrlnum | (OCoLC)31639800 (DE-599)BVBBV010157173 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02371nam a2200313 cb4500</leader><controlfield tag="001">BV010157173</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950427s1994 xx |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31639800</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010157173</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="100" ind1="1" ind2=" "><subfield code="a">Benthem, Johan van</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124543286</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tarskian variations</subfield><subfield code="b">dynamic parameters in classical semantics</subfield><subfield code="c">J. van Benthem ; G. Cepparello</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">27 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">94,19</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In this paper we propose a general perspective of 'Tarskian Variations' providing standard logics uniformly with a dynamic semantics. Many systems from the current literature can be viewed as different implementations of this same basic idea. Given that, we investigate two main technical issues. First, we develop our general dynamic semantics against the background of 'static' logic. In particular, we briefly sketch an axiomatization of our system and a correspondence theory for its models, while also providing an explicit translation of the system into a static one. Next, we study some questions of 'design' of dynamic languages: in particular, how to combine updates with non- eliminative programs, and how to choose a suitable procedural repertoire. Our answer to this second point consists in giving a number of criteria, suggested by other research areas, including logicality, bisimulation safety, as well as further denotational constraints from the theory of Generalized Quantifiers. As a case study we take dynamic negation, as it shows in various systems, providing some technical results on how to characterize its behaviour (using, for instance, inverse logic reasoning in Relational Algebra and Update Logic)."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational linguistics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cepparello, Giovanna</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">94,19</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">94,19</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006747195</subfield></datafield></record></collection> |
| id | DE-604.BV010157173 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:49:01Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006747195 |
| oclc_num | 31639800 |
| open_access_boolean | |
| physical | 27 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Benthem, Johan van 1949- Verfasser (DE-588)124543286 aut Tarskian variations dynamic parameters in classical semantics J. van Benthem ; G. Cepparello Amsterdam 1994 27 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 94,19 Abstract: "In this paper we propose a general perspective of 'Tarskian Variations' providing standard logics uniformly with a dynamic semantics. Many systems from the current literature can be viewed as different implementations of this same basic idea. Given that, we investigate two main technical issues. First, we develop our general dynamic semantics against the background of 'static' logic. In particular, we briefly sketch an axiomatization of our system and a correspondence theory for its models, while also providing an explicit translation of the system into a static one. Next, we study some questions of 'design' of dynamic languages: in particular, how to combine updates with non- eliminative programs, and how to choose a suitable procedural repertoire. Our answer to this second point consists in giving a number of criteria, suggested by other research areas, including logicality, bisimulation safety, as well as further denotational constraints from the theory of Generalized Quantifiers. As a case study we take dynamic negation, as it shows in various systems, providing some technical results on how to characterize its behaviour (using, for instance, inverse logic reasoning in Relational Algebra and Update Logic)." Künstliche Intelligenz Artificial intelligence Computational linguistics Cepparello, Giovanna Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 94,19 (DE-604)BV008928356 94,19 |
| spellingShingle | Benthem, Johan van 1949- Cepparello, Giovanna Tarskian variations dynamic parameters in classical semantics Künstliche Intelligenz Artificial intelligence Computational linguistics |
| title | Tarskian variations dynamic parameters in classical semantics |
| title_auth | Tarskian variations dynamic parameters in classical semantics |
| title_exact_search | Tarskian variations dynamic parameters in classical semantics |
| title_full | Tarskian variations dynamic parameters in classical semantics J. van Benthem ; G. Cepparello |
| title_fullStr | Tarskian variations dynamic parameters in classical semantics J. van Benthem ; G. Cepparello |
| title_full_unstemmed | Tarskian variations dynamic parameters in classical semantics J. van Benthem ; G. Cepparello |
| title_short | Tarskian variations |
| title_sort | tarskian variations dynamic parameters in classical semantics |
| title_sub | dynamic parameters in classical semantics |
| topic | Künstliche Intelligenz Artificial intelligence Computational linguistics |
| topic_facet | Künstliche Intelligenz Artificial intelligence Computational linguistics |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT benthemjohanvan tarskianvariationsdynamicparametersinclassicalsemantics AT cepparellogiovanna tarskianvariationsdynamicparametersinclassicalsemantics |