No Cover Image

Journal article 12435 views

Linear Kripke frames and Gödel logics

Arnold Beckmann Orcid Logo, Norbert Preining

Journal of Symbolic Logic, Volume: 72, Issue: 1, Pages: 26 - 44

Swansea University Author: Arnold Beckmann Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.2178/jsl/1174668382

Abstract

We investigate the relation between logics of countable linear Kripke frames with constant domains and Gödel logics. We show that for any such Kripke frame there is a Gödel logic which coincides with the logic of this Kripke frame and vice versa. This allows us to transfer several recent results on...

Full description

Published in: Journal of Symbolic Logic
ISSN: 0022-4812
Published: 2007
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa13718
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2013-07-23T12:10:46Z
last_indexed 2018-02-09T04:44:35Z
id cronfa13718
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2013-10-17T11:48:12.5435871</datestamp><bib-version>v2</bib-version><id>13718</id><entry>2012-12-17</entry><title>Linear Kripke frames and G&#xF6;del logics</title><swanseaauthors><author><sid>1439ebd690110a50a797b7ec78cca600</sid><ORCID>0000-0001-7958-5790</ORCID><firstname>Arnold</firstname><surname>Beckmann</surname><name>Arnold Beckmann</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2012-12-17</date><deptcode>SCS</deptcode><abstract>We investigate the relation between logics of countable linear Kripke frames with constant domains and G&#xF6;del logics. We show that for any such Kripke frame there is a G&#xF6;del logic which coincides with the logic of this Kripke frame and vice versa. This allows us to transfer several recent results on G&#xF6;del logics to the logics of countable linear Kripke frames with constant domains.</abstract><type>Journal Article</type><journal>Journal of Symbolic Logic</journal><volume>72</volume><journalNumber>1</journalNumber><paginationStart>26</paginationStart><paginationEnd>44</paginationEnd><publisher/><placeOfPublication/><issnPrint>0022-4812</issnPrint><issnElectronic/><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2007</publishedYear><publishedDate>2007-12-31</publishedDate><doi>10.2178/jsl/1174668382</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2013-10-17T11:48:12.5435871</lastEdited><Created>2012-12-17T10:12:21.8007755</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Arnold</firstname><surname>Beckmann</surname><orcid>0000-0001-7958-5790</orcid><order>1</order></author><author><firstname>Norbert</firstname><surname>Preining</surname><order>2</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2013-10-17T11:48:12.5435871 v2 13718 2012-12-17 Linear Kripke frames and Gödel logics 1439ebd690110a50a797b7ec78cca600 0000-0001-7958-5790 Arnold Beckmann Arnold Beckmann true false 2012-12-17 SCS We investigate the relation between logics of countable linear Kripke frames with constant domains and Gödel logics. We show that for any such Kripke frame there is a Gödel logic which coincides with the logic of this Kripke frame and vice versa. This allows us to transfer several recent results on Gödel logics to the logics of countable linear Kripke frames with constant domains. Journal Article Journal of Symbolic Logic 72 1 26 44 0022-4812 31 12 2007 2007-12-31 10.2178/jsl/1174668382 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2013-10-17T11:48:12.5435871 2012-12-17T10:12:21.8007755 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Arnold Beckmann 0000-0001-7958-5790 1 Norbert Preining 2
title Linear Kripke frames and Gödel logics
spellingShingle Linear Kripke frames and Gödel logics
Arnold Beckmann
title_short Linear Kripke frames and Gödel logics
title_full Linear Kripke frames and Gödel logics
title_fullStr Linear Kripke frames and Gödel logics
title_full_unstemmed Linear Kripke frames and Gödel logics
title_sort Linear Kripke frames and Gödel logics
author_id_str_mv 1439ebd690110a50a797b7ec78cca600
author_id_fullname_str_mv 1439ebd690110a50a797b7ec78cca600_***_Arnold Beckmann
author Arnold Beckmann
author2 Arnold Beckmann
Norbert Preining
format Journal article
container_title Journal of Symbolic Logic
container_volume 72
container_issue 1
container_start_page 26
publishDate 2007
institution Swansea University
issn 0022-4812
doi_str_mv 10.2178/jsl/1174668382
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
description We investigate the relation between logics of countable linear Kripke frames with constant domains and Gödel logics. We show that for any such Kripke frame there is a Gödel logic which coincides with the logic of this Kripke frame and vice versa. This allows us to transfer several recent results on Gödel logics to the logics of countable linear Kripke frames with constant domains.
published_date 2007-12-31T03:15:40Z
_version_ 1763750278182469632
score 11.035634

Similar Items