Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
type: Item
instance of: scholarly article
title: Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
zbMATH Open document ID: 1420.03060
DOI: 10.1134/S0037446617050147
author: Vladimir Rybakov
published in: Siberian Mathematical Journal
publication date: 2018-02-06T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B42
zbMATH DE Number: 6834946
zbMATH Keywords: temporal logic
zbMATH Keywords: computability
zbMATH Keywords: information
zbMATH Keywords: multiagent logic
zbMATH Keywords: satisfiability
zbMATH Keywords: decidability
zbMATH Keywords: deciding algorithms
zbMATH Keywords: nontransitive time
MaRDI profile type: Publication
cites work: Q4845472
cites work: Q3835817
cites work: An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
cites work: Q4218015
cites work: Q4002642
cites work: Temporal Verification of Reactive Systems: Response
cites work: Q4219045
cites work: Q4536333
cites work: DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
cites work: Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
cites work: Justified common knowledge
cites work: Iteration-free PDL with intersection: A complete axiomatization
cites work: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
cites work: Refined common knowledge logics or logics of common information
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: Linear Temporal Logic LTL: Basis for Admissible Rules
cites work: Logical consecutions in discrete linear temporal logic
full work available at URL: s0037446617050147
OpenAlex ID: W2765353109
description: scientific article; zbMATH DE number 6834946