FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3199333537> ?p ?o ?g. }

• W3199333537 endingPage "38" @default.
• W3199333537 startingPage "1" @default.
• W3199333537 abstract "Abstract Temporal justification logic is a new family of temporal logics of knowledge in which the knowledge of agents is modelled using a justification logic. In this paper, we present various temporal justification logics involving both past and future time modalities. We combine Artemov’s logic of proofs with linear temporal logic with past, and we also investigate several principles describing the interaction of justification and time. We present two kinds of semantics for our temporal justification logics, one based on interpreted systems and Fitting models and the other based on Mkrtychev models, and further, we establish soundness and completeness. We show that the internalization property holds in some of the temporal justification logics. We further investigate the two well-known epistemic-temporal notions of no forgetting and no learning in the framework of justification logics. Finally, we present temporal justification logics that avoid the logical omniscience problem." @default.
• W3199333537 created "2021-09-27" @default.
• W3199333537 creator A5082895925 @default.
• W3199333537 date "2021-09-20" @default.
• W3199333537 modified "2023-09-24" @default.
• W3199333537 title "Linear temporal justification logics with past and future time modalities" @default.
• W3199333537 cites W1483339275 @default.
• W3199333537 cites W1491593738 @default.
• W3199333537 cites W1645519945 @default.
• W3199333537 cites W181848957 @default.
• W3199333537 cites W1982302236 @default.
• W3199333537 cites W1989034894 @default.
• W3199333537 cites W2043468053 @default.
• W3199333537 cites W2137311808 @default.
• W3199333537 cites W2143733069 @default.
• W3199333537 cites W2145861521 @default.
• W3199333537 cites W3100226298 @default.
• W3199333537 cites W4211092209 @default.
• W3199333537 cites W4213219346 @default.
• W3199333537 cites W2063610554 @default.
• W3199333537 doi "https://doi.org/10.1093/jigpal/jzab027" @default.
• W3199333537 hasPublicationYear "2021" @default.
• W3199333537 type Work @default.
• W3199333537 sameAs 3199333537 @default.
• W3199333537 citedByCount "1" @default.
• W3199333537 countsByYear W31993335372023 @default.
• W3199333537 crossrefType "journal-article" @default.
• W3199333537 hasAuthorship W3199333537A5082895925 @default.
• W3199333537 hasConcept C108710211 @default.
• W3199333537 hasConcept C111472728 @default.
• W3199333537 hasConcept C11648818 @default.
• W3199333537 hasConcept C134306372 @default.
• W3199333537 hasConcept C138885662 @default.
• W3199333537 hasConcept C144024400 @default.
• W3199333537 hasConcept C154945302 @default.
• W3199333537 hasConcept C162670838 @default.
• W3199333537 hasConcept C17231256 @default.
• W3199333537 hasConcept C198008173 @default.
• W3199333537 hasConcept C199360897 @default.
• W3199333537 hasConcept C25016198 @default.
• W3199333537 hasConcept C2524010 @default.
• W3199333537 hasConcept C2776127325 @default.
• W3199333537 hasConcept C2779903281 @default.
• W3199333537 hasConcept C33923547 @default.
• W3199333537 hasConcept C36289849 @default.
• W3199333537 hasConcept C39920170 @default.
• W3199333537 hasConcept C41008148 @default.
• W3199333537 hasConcept C42011625 @default.
• W3199333537 hasConcept C4777664 @default.
• W3199333537 hasConcept C5263885 @default.
• W3199333537 hasConcept C58166 @default.
• W3199333537 hasConcept C68435242 @default.
• W3199333537 hasConcept C80444323 @default.
• W3199333537 hasConcept C86602344 @default.
• W3199333537 hasConceptScore W3199333537C108710211 @default.
• W3199333537 hasConceptScore W3199333537C111472728 @default.
• W3199333537 hasConceptScore W3199333537C11648818 @default.
• W3199333537 hasConceptScore W3199333537C134306372 @default.
• W3199333537 hasConceptScore W3199333537C138885662 @default.
• W3199333537 hasConceptScore W3199333537C144024400 @default.
• W3199333537 hasConceptScore W3199333537C154945302 @default.
• W3199333537 hasConceptScore W3199333537C162670838 @default.
• W3199333537 hasConceptScore W3199333537C17231256 @default.
• W3199333537 hasConceptScore W3199333537C198008173 @default.
• W3199333537 hasConceptScore W3199333537C199360897 @default.
• W3199333537 hasConceptScore W3199333537C25016198 @default.
• W3199333537 hasConceptScore W3199333537C2524010 @default.
• W3199333537 hasConceptScore W3199333537C2776127325 @default.
• W3199333537 hasConceptScore W3199333537C2779903281 @default.
• W3199333537 hasConceptScore W3199333537C33923547 @default.
• W3199333537 hasConceptScore W3199333537C36289849 @default.
• W3199333537 hasConceptScore W3199333537C39920170 @default.
• W3199333537 hasConceptScore W3199333537C41008148 @default.
• W3199333537 hasConceptScore W3199333537C42011625 @default.
• W3199333537 hasConceptScore W3199333537C4777664 @default.
• W3199333537 hasConceptScore W3199333537C5263885 @default.
• W3199333537 hasConceptScore W3199333537C58166 @default.
• W3199333537 hasConceptScore W3199333537C68435242 @default.
• W3199333537 hasConceptScore W3199333537C80444323 @default.
• W3199333537 hasConceptScore W3199333537C86602344 @default.
• W3199333537 hasFunder F4320323645 @default.
• W3199333537 hasIssue "1" @default.
• W3199333537 hasLocation W31993335371 @default.
• W3199333537 hasOpenAccess W3199333537 @default.
• W3199333537 hasPrimaryLocation W31993335371 @default.
• W3199333537 hasRelatedWork W1606501085 @default.
• W3199333537 hasRelatedWork W2017661088 @default.
• W3199333537 hasRelatedWork W2024016985 @default.
• W3199333537 hasRelatedWork W2097459721 @default.
• W3199333537 hasRelatedWork W2123194086 @default.
• W3199333537 hasRelatedWork W2133480857 @default.
• W3199333537 hasRelatedWork W2295649323 @default.
• W3199333537 hasRelatedWork W2580696767 @default.
• W3199333537 hasRelatedWork W3199333537 @default.
• W3199333537 hasRelatedWork W339186269 @default.
• W3199333537 hasVolume "31" @default.
• W3199333537 isParatext "false" @default.
• W3199333537 isRetracted "false" @default.

• next