Prehistoric graph in modal derivations and self-referentiality
type: Item
instance of: scholarly article
title: Prehistoric graph in modal derivations and self-referentiality
zbMATH Open document ID: 1433.03059
author: Junhua Yu
published in: Theory of Computing Systems
publication date: 2017-11-07T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 6803493
zbMATH Keywords: logic of proofs
zbMATH Keywords: justification logic
zbMATH Keywords: self-referentiality
MaRDI profile type: Publication
full work available at URL: s00224-013-9510-z
OpenAlex ID: W2008287076
cites work: Explicit provability and constructive semantics
cites work: The ontology of justifications in the logical setting
cites work: The logic of proofs, semantically
cites work: Making knowledge explicit: how hard it is
cites work: A syntactic realization theorem for justification logics
cites work: Proof methods for modal and intuitionistic logics
cites work: Realizations and LP
cites work: Self-referentiality of Justified Knowledge
cites work: Self-referential justifications in epistemic logic
cites work: Q4376067
cites work: Q4499084
cites work: Prehistoric Phenomena and Self-referentiality
DOI: 10.1007/S00224-013-9510-Z
description: scientific article; zbMATH DE number 6803493