Natural deduction in normal modal logic

Natural deduction in normal modal logic

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Notre Dame journal of formal logic 1990, Vol.31 (2), p.263-273
1. Verfasser: HAWTHORN, J
Format: Artikel
Sprache:eng
Schlagworte:
03B45
Exact sciences and technology
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Sciences and techniques of general use
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 273
container_issue 2
container_start_page 263
container_title Notre Dame journal of formal logic
container_volume 31
creator HAWTHORN, J
description
doi_str_mv 10.1305/ndjfl/1093635420
format Article
fullrecord <record><control><sourceid>proquest_proje</sourceid><recordid>TN_cdi_projecteuclid_primary_oai_CULeuclid_euclid_ndjfl_1093635420</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1292724208</sourcerecordid><originalsourceid>FETCH-LOGICAL-c3170-f6b9527108eb51093edd54231d68fb7e414d114437defd4ecfa1cc122a79c9f83</originalsourceid><addsrcrecordid>eNptkL1PwzAQxS0EEqWwM1ZCiCnUZztxPULFlxTBQmfL9QdylMbFTgb-e1watQvLnXR693vvDqFrwPdAcTnvTOPaOWBBK1oygk_QBAQVBeakOkUTjIkoWEn4ObpIqcEYWCnYBN29q36Iqp0Zawbd-9DNfDfrQtzk2SaYXNvw5fUlOnOqTfZq7FO0en76XL4W9cfL2_KhLjQFjgtXrUU2Abyw63IXxhqT01Aw1cKtuWXADABjlBvrDLPaKdAaCFFcaOEWdIoe99xtDI3VvR10643cRr9R8UcG5eVyVY_Tsf2dLo-nZ8jNAfI92NTLJgyxy7klEEE4yaKdFd6rdAwpResOLoDl7qf_gW9HsEpatS6qTvt03NuzS_oLMlR2mQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1292724208</pqid></control><display><type>article</type><title>Natural deduction in normal modal logic</title><source>EZB-FREE-00999 freely available EZB journals</source><source>Project Euclid Complete</source><source>Periodicals Index Online</source><creator>HAWTHORN, J</creator><creatorcontrib>HAWTHORN, J</creatorcontrib><identifier>ISSN: 0029-4527</identifier><identifier>EISSN: 1939-0726</identifier><identifier>DOI: 10.1305/ndjfl/1093635420</identifier><identifier>CODEN: NDJFAM</identifier><language>eng</language><publisher>Notre Dame, IN: University of Notre Dame Press</publisher><subject>03B45 ; Exact sciences and technology ; Logic and foundations ; Mathematical logic, foundations, set theory ; Mathematics ; Sciences and techniques of general use</subject><ispartof>Notre Dame journal of formal logic, 1990, Vol.31 (2), p.263-273</ispartof><rights>1991 INIST-CNRS</rights><rights>Copyright 1990 University of Notre Dame</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c3170-f6b9527108eb51093edd54231d68fb7e414d114437defd4ecfa1cc122a79c9f83</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,314,776,780,881,921,4010,27846,27900,27901,27902</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=19272425$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>HAWTHORN, J</creatorcontrib><title>Natural deduction in normal modal logic</title><title>Notre Dame journal of formal logic</title><subject>03B45</subject><subject>Exact sciences and technology</subject><subject>Logic and foundations</subject><subject>Mathematical logic, foundations, set theory</subject><subject>Mathematics</subject><subject>Sciences and techniques of general use</subject><issn>0029-4527</issn><issn>1939-0726</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1990</creationdate><recordtype>article</recordtype><sourceid>K30</sourceid><recordid>eNptkL1PwzAQxS0EEqWwM1ZCiCnUZztxPULFlxTBQmfL9QdylMbFTgb-e1watQvLnXR693vvDqFrwPdAcTnvTOPaOWBBK1oygk_QBAQVBeakOkUTjIkoWEn4ObpIqcEYWCnYBN29q36Iqp0Zawbd-9DNfDfrQtzk2SaYXNvw5fUlOnOqTfZq7FO0en76XL4W9cfL2_KhLjQFjgtXrUU2Abyw63IXxhqT01Aw1cKtuWXADABjlBvrDLPaKdAaCFFcaOEWdIoe99xtDI3VvR10643cRr9R8UcG5eVyVY_Tsf2dLo-nZ8jNAfI92NTLJgyxy7klEEE4yaKdFd6rdAwpResOLoDl7qf_gW9HsEpatS6qTvt03NuzS_oLMlR2mQ</recordid><startdate>1990</startdate><enddate>1990</enddate><creator>HAWTHORN, J</creator><general>University of Notre Dame Press</general><general>University of Notre Dame</general><general>Duke University Press</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>HBMBR</scope><scope>IOIBA</scope><scope>K30</scope><scope>PAAUG</scope><scope>PAWHS</scope><scope>PAWZZ</scope><scope>PAXOH</scope><scope>PBHAV</scope><scope>PBQSW</scope><scope>PBYQZ</scope><scope>PCIWU</scope><scope>PCMID</scope><scope>PCZJX</scope><scope>PDGRG</scope><scope>PDWWI</scope><scope>PETMR</scope><scope>PFVGT</scope><scope>PGXDX</scope><scope>PIHIL</scope><scope>PISVA</scope><scope>PJCTQ</scope><scope>PJTMS</scope><scope>PLCHJ</scope><scope>PMHAD</scope><scope>PNQDJ</scope><scope>POUND</scope><scope>PPLAD</scope><scope>PQAPC</scope><scope>PQCAN</scope><scope>PQCMW</scope><scope>PQEME</scope><scope>PQHKH</scope><scope>PQMID</scope><scope>PQNCT</scope><scope>PQNET</scope><scope>PQSCT</scope><scope>PQSET</scope><scope>PSVJG</scope><scope>PVMQY</scope><scope>PZGFC</scope></search><sort><creationdate>1990</creationdate><title>Natural deduction in normal modal logic</title><author>HAWTHORN, J</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c3170-f6b9527108eb51093edd54231d68fb7e414d114437defd4ecfa1cc122a79c9f83</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1990</creationdate><topic>03B45</topic><topic>Exact sciences and technology</topic><topic>Logic and foundations</topic><topic>Mathematical logic, foundations, set theory</topic><topic>Mathematics</topic><topic>Sciences and techniques of general use</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>HAWTHORN, J</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Periodicals Index Online Segment 14</collection><collection>Periodicals Index Online Segment 29</collection><collection>Periodicals Index Online</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - West</collection><collection>Primary Sources Access (Plan D) - International</collection><collection>Primary Sources Access &amp; Build (Plan A) - MEA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Midwest</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Northeast</collection><collection>Primary Sources Access (Plan D) - Southeast</collection><collection>Primary Sources Access (Plan D) - North Central</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Southeast</collection><collection>Primary Sources Access (Plan D) - South Central</collection><collection>Primary Sources Access &amp; Build (Plan A) - UK / I</collection><collection>Primary Sources Access (Plan D) - Canada</collection><collection>Primary Sources Access (Plan D) - EMEALA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - North Central</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - South Central</collection><collection>Primary Sources Access &amp; Build (Plan A) - International</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - International</collection><collection>Primary Sources Access (Plan D) - West</collection><collection>Periodicals Index Online Segments 1-50</collection><collection>Primary Sources Access (Plan D) - APAC</collection><collection>Primary Sources Access (Plan D) - Midwest</collection><collection>Primary Sources Access (Plan D) - MEA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Canada</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - UK / I</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - EMEALA</collection><collection>Primary Sources Access &amp; Build (Plan A) - APAC</collection><collection>Primary Sources Access &amp; Build (Plan A) - Canada</collection><collection>Primary Sources Access &amp; Build (Plan A) - West</collection><collection>Primary Sources Access &amp; Build (Plan A) - EMEALA</collection><collection>Primary Sources Access (Plan D) - Northeast</collection><collection>Primary Sources Access &amp; Build (Plan A) - Midwest</collection><collection>Primary Sources Access &amp; Build (Plan A) - North Central</collection><collection>Primary Sources Access &amp; Build (Plan A) - Northeast</collection><collection>Primary Sources Access &amp; Build (Plan A) - South Central</collection><collection>Primary Sources Access &amp; Build (Plan A) - Southeast</collection><collection>Primary Sources Access (Plan D) - UK / I</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - APAC</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - MEA</collection><jtitle>Notre Dame journal of formal logic</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>HAWTHORN, J</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Natural deduction in normal modal logic</atitle><jtitle>Notre Dame journal of formal logic</jtitle><date>1990</date><risdate>1990</risdate><volume>31</volume><issue>2</issue><spage>263</spage><epage>273</epage><pages>263-273</pages><issn>0029-4527</issn><eissn>1939-0726</eissn><coden>NDJFAM</coden><cop>Notre Dame, IN</cop><pub>University of Notre Dame Press</pub><doi>10.1305/ndjfl/1093635420</doi><tpages>11</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0029-4527
ispartof Notre Dame journal of formal logic, 1990, Vol.31 (2), p.263-273
issn 0029-4527
1939-0726
language eng
recordid cdi_projecteuclid_primary_oai_CULeuclid_euclid_ndjfl_1093635420
source EZB-FREE-00999 freely available EZB journals; Project Euclid Complete; Periodicals Index Online
subjects 03B45
Exact sciences and technology
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Sciences and techniques of general use
title Natural deduction in normal modal logic
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-04T09%3A01%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_proje&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Natural%20deduction%20in%20normal%20modal%20logic&rft.jtitle=Notre%20Dame%20journal%20of%20formal%20logic&rft.au=HAWTHORN,%20J&rft.date=1990&rft.volume=31&rft.issue=2&rft.spage=263&rft.epage=273&rft.pages=263-273&rft.issn=0029-4527&rft.eissn=1939-0726&rft.coden=NDJFAM&rft_id=info:doi/10.1305/ndjfl/1093635420&rft_dat=%3Cproquest_proje%3E1292724208%3C/proquest_proje%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1292724208&rft_id=info:pmid/&rfr_iscdi=true