Models for the logic of possible proofs

Horsten, Leon

Models for the logic of possible proofs

Dateien

Horsten_2-sx26oa72irhv4.pdfGröße: 121.22 KBDownloads: 75

Datum

2000

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Philosophie

Publikationstyp

Zeitschriftenartikel

Publikationsstatus

Published

Erschienen in

Pacific Philosophical Quarterly. Wiley. 2000, 81(1), pp. 49-66. ISSN 0279-0750. eISSN 1468-0114. Available under: doi: 10.1111/1468-0114.00094

Zusammenfassung

The present paper investigates the logical structure of possible proofs. We present and philosophically motivate a class of possible proof models that describes in some detail the modal-epistemic propositional logical structure of possible proofs. This class of models is then recursively axiomatized.

Fachgebiet (DDC)

100 Philosophie

Zitieren

ISO 690

HORSTEN, Leon, 2000. Models for the logic of possible proofs. In: Pacific Philosophical Quarterly. Wiley. 2000, 81(1), pp. 49-66. ISSN 0279-0750. eISSN 1468-0114. Available under: doi: 10.1111/1468-0114.00094

BibTex

@article{Horsten2000Model-56944,
  year={2000},
  doi={10.1111/1468-0114.00094},
  title={Models for the logic of possible proofs},
  number={1},
  volume={81},
  issn={0279-0750},
  journal={Pacific Philosophical Quarterly},
  pages={49--66},
  author={Horsten, Leon}
}

RDF

<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/56944">
    <dc:creator>Horsten, Leon</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T12:47:17Z</dc:date>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56944/3/Horsten_2-sx26oa72irhv4.pdf"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T12:47:17Z</dcterms:available>
    <dcterms:issued>2000</dcterms:issued>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56944/3/Horsten_2-sx26oa72irhv4.pdf"/>
    <dcterms:title>Models for the logic of possible proofs</dcterms:title>
    <dc:contributor>Horsten, Leon</dc:contributor>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:rights>terms-of-use</dc:rights>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56944"/>
    <dcterms:abstract xml:lang="eng">The present paper investigates the logical structure of possible proofs. We present and philosophically motivate a class of possible proof models that describes in some detail the modal-epistemic propositional logical structure of possible proofs. This class of models is then recursively axiomatized.</dcterms:abstract>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:language>eng</dc:language>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Nein

Begutachtet

Ja