Conference item
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
- Abstract:
-
We devise a variant of Dialectica interpretation of intuitionistic linear logic for Open image in new window, a linear logic-based version MSO over infinite words. Open image in new window was known to be correct and complete w.r.t. Church’s synthesis, thanks to an automata-based realizability model. Invoking Büchi-Landweber Theorem and building on a complete axiomatization of MSO on infinite words, our interpretation provides us with a syntactic approach, without any further construc...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Authors
Bibliographic Details
- Publisher:
- Springer Verlag Publisher's website
- Host title:
- Lecture Notes in Computer Science
- Journal:
- Lecture Notes in Computer Science Journal website
- Volume:
- 11425
- Pages:
- 470-487
- Publication date:
- 2019-04-05
- DOI:
- ISSN:
-
1611-3349 and 0302-9743
- ISBN:
- 9783030171261
Item Description
- Keywords:
- Pubs id:
-
pubs:1074807
- UUID:
-
uuid:158c7307-e128-4eb3-b303-e58cb411ff64
- Local pid:
- pubs:1074807
- Source identifiers:
-
1074807
- Deposit date:
- 2020-01-07
Terms of use
- Copyright holder:
- Pradic et al
- Copyright date:
- 2019
- Notes:
- © The Author(s) 2019. This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
- Licence:
- CC Attribution (CC BY)
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record