{"id":{"repo_id":"ottawa-retro","oai_identifier":"oai:ruor.uottawa.ca:10393/6074"},"canonical_url":"https://search.dev.ndltd.org/etd/ottawa-retro/oai:ruor.uottawa.ca:10393/6074","repository":{"repo_id":"ottawa-retro","name":"University of Ottawa","base_url":"https://ruor.uottawa.ca/server/oai/request"},"display":{"title":"Modal and fixpoint linear logic.","abstract":"This thesis provides adaptations of the algebraic and relational semantics of modal logic to model J.-Y. Girard's linear logic extended with general modalities. This work extends the work of M. D'Agostino, D. Gabbay, and A. Russo on modalities in implication systems, which include a fragment of linear logic, and the work of J.-Y. Girard on phase semantics for linear logic. We develop deductive systems based on the Gentzen-style sequent calculi of Ohnishi and Matsumoto and the indexed sequents of Mints, and prove cut-elimination properties. We show that semantics and deductive systems that are equivalent for classical modal logic become nonequivalent when adapted to linear logic. We also provide a semantics based on Girard's phase semantics for the fixpoint operators of the modal mu-calculus, developed by D. Kozen, E. A. Emerson, E. Clarke, and others, in linear logic, and consider the translation of Y. Lafont's exponentials with the Free Storage rule into linear logic with fixpoint operators.","abstract_html":"This thesis provides adaptations of the algebraic and relational semantics of modal logic to model J.-Y. Girard's linear logic extended with general modalities. This work extends the work of M. D'Agostino, D. Gabbay, and A. Russo on modalities in implication systems, which include a fragment of linear logic, and the work of J.-Y. Girard on phase semantics for linear logic. We develop deductive systems based on the Gentzen-style sequent calculi of Ohnishi and Matsumoto and the indexed sequents of Mints, and prove cut-elimination properties. We show that semantics and deductive systems that are equivalent for classical modal logic become nonequivalent when adapted to linear logic. We also provide a semantics based on Girard's phase semantics for the fixpoint operators of the modal mu-calculus, developed by D. Kozen, E. A. Emerson, E. Clarke, and others, in linear logic, and consider the translation of Y. Lafont's exponentials with the Free Storage rule into linear logic with fixpoint operators.","abstract_has_math":false,"creators":["Martin, Alan J."],"institution":"University of Ottawa (Canada)","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["Blute, R.,"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2009,"date_issued":"2009-03-23T12:59:31Z","date_published":"2009-03-23T12:59:31Z","updated_at":"2026-07-24T03:39:32Z","subjects":["Mathematics."],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["Source: Masters Abstracts International, Volume: 41-05, page: 1451.","9780612766129","http://dx.doi.org/10.20381/ruor-14671"],"render_values":[{"text":"Source: Masters Abstracts International, Volume: 41-05, page: 1451.","href":null,"code":true},{"text":"9780612766129","href":null,"code":true},{"text":"http://dx.doi.org/10.20381/ruor-14671","href":"http://dx.doi.org/10.20381/ruor-14671","code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/10393/6074","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Blute, R.,"]},{"key":"dc:creator","label":"Author","values":["Martin, Alan J."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2009-03-23T12:59:31Z","2002"]},{"key":"dc:publisher","label":"Institution","values":["University of Ottawa (Canada)"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Mathematics."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["Source: Masters Abstracts International, Volume: 41-05, page: 1451.","9780612766129","http://hdl.handle.net/10393/6074","http://dx.doi.org/10.20381/ruor-14671"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["This thesis provides adaptations of the algebraic and relational semantics of modal logic to model J.-Y. Girard's linear logic extended with general modalities. This work extends the work of M. D'Agostino, D. Gabbay, and A. Russo on modalities in implication systems, which include a fragment of linear logic, and the work of J.-Y. Girard on phase semantics for linear logic. We develop deductive systems based on the Gentzen-style sequent calculi of Ohnishi and Matsumoto and the indexed sequents of Mints, and prove cut-elimination properties. We show that semantics and deductive systems that are equivalent for classical modal logic become nonequivalent when adapted to linear logic. We also provide a semantics based on Girard's phase semantics for the fixpoint operators of the modal mu-calculus, developed by D. Kozen, E. A. Emerson, E. Clarke, and others, in linear logic, and consider the translation of Y. Lafont's exponentials with the Free Storage rule into linear logic with fixpoint operators."]},{"key":"dc:format","label":"Dc Format","values":["113 p.","application/pdf"]},{"key":"dc:title","label":"Title","values":["Modal and fixpoint linear logic."]}]}],"canonical_facts":{"dc:contributor":["Blute, R.,"],"dc:creator":["Martin, Alan J."],"dc:date":["2009-03-23T12:59:31Z","2002"],"dc:description":["This thesis provides adaptations of the algebraic and relational semantics of modal logic to model J.-Y. Girard's linear logic extended with general modalities. This work extends the work of M. D'Agostino, D. Gabbay, and A. Russo on modalities in implication systems, which include a fragment of linear logic, and the work of J.-Y. Girard on phase semantics for linear logic. We develop deductive systems based on the Gentzen-style sequent calculi of Ohnishi and Matsumoto and the indexed sequents of Mints, and prove cut-elimination properties. We show that semantics and deductive systems that are equivalent for classical modal logic become nonequivalent when adapted to linear logic. We also provide a semantics based on Girard's phase semantics for the fixpoint operators of the modal mu-calculus, developed by D. Kozen, E. A. Emerson, E. Clarke, and others, in linear logic, and consider the translation of Y. Lafont's exponentials with the Free Storage rule into linear logic with fixpoint operators."],"dc:format":["113 p.","application/pdf"],"dc:identifier":["Source: Masters Abstracts International, Volume: 41-05, page: 1451.","9780612766129","http://hdl.handle.net/10393/6074","http://dx.doi.org/10.20381/ruor-14671"],"dc:publisher":["University of Ottawa (Canada)"],"dc:subject":["Mathematics."],"dc:title":["Modal and fixpoint linear logic."],"dc:type":["Thesis"]},"updated_at":"2026-07-24T03:39:32Z"}