Temporal multi-valued logic with lost worlds in the past
type: Item
instance of: scholarly article
title: Temporal multi-valued logic with lost worlds in the past
zbMATH Open document ID: 1436.03154
author: Vladimir Rybakov
publication date: 2018-09-04T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6931667
zbMATH Keywords: many-valued logic
zbMATH Keywords: multi-agent logic
zbMATH Keywords: temporal logic
zbMATH Keywords: computability
zbMATH Keywords: information
zbMATH Keywords: satisfiability
zbMATH Keywords: decidability
zbMATH Keywords: deciding algorithms
zbMATH Keywords: non-transitive time
MaRDI profile type: Publication
cites work: Query and predicate emptiness in ontology-based data access
cites work: Linear Temporal Logic LTL: Basis for Admissible Rules
cites work: Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
cites work: Q3148329
cites work: Automata, Languages and Programming
cites work: Q3835817
cites work: An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
cites work: Q4218015
cites work: Model-theoretic inseparability and modularity of description logic ontologies
cites work: Refined common knowledge logics or logics of common information
cites work: Logical consecutions in discrete linear temporal logic
cites work: Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
cites work: Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
cites work: Linear temporal logic with until and next, logical consecutions
cites work: Non-transitive linear temporal logic and logical knowledge operations
cites work: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
cites work: Automata for Ontologies
DOI: 10.17377/SEMI.2018.15.039
Recommended article: A hierarchy of temporal logics with past
Recommended article: Q4535117
Recommended article: Temporalizing epistemic default logic
Recommended article: Temporal logics on words with multiple data values
Recommended article: Temporalizing Modal Epistemic Logic
Recommended article: Q4900321
Recommended article: On Almost Future Temporal Logics
Recommended article: On Regular Temporal Logics with Past,
Recommended article: On regular temporal logics with past
Recommended article: Q4542603
published in: Sibirskie Elektronnye Matematicheskie Izvestiya
description: scientific article; zbMATH DE number 6931667