Multiagent temporal logics with multivaluations
type: Item
instance of: scholarly article
title: Multiagent temporal logics with multivaluations
zbMATH Open document ID: 1469.03047
DOI: 10.1134/S0037446618040134
published in: Siberian Mathematical Journal
publication date: 2018-11-13T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6976648
zbMATH Keywords: multiagent logics
zbMATH Keywords: information
zbMATH Keywords: knowledge
zbMATH Keywords: temporal logic
zbMATH Keywords: multivaluations
zbMATH Keywords: satisfiability
zbMATH Keywords: deciding algorithms
author: Vladimir Rybakov
MaRDI profile type: Publication
cites work: Q4536333
cites work: Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
cites work: Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
cites work: Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
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: Q4219045
cites work: The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
cites work: Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
cites work: Linear Temporal Logic LTL: Basis for Admissible Rules
cites work: Non-transitive linear temporal logic and logical knowledge operations
cites work: Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility
cites work: Linear temporal logic with until and next, logical consecutions
cites work: Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
cites work: Unification in intuitionistic logic
cites work: Proof theory for admissible rules
cites work: Admissible Rules of Lukasiewicz Logic
cites work: Independent Bases of Admissible Rules
cites work: Unification in a Description Logic with Transitive Closure of Roles
cites work: Unification in the description logic EL
cites work: Unification through projectivity
full work available at URL: s0037446618040134
OpenAlex ID: W2892081329
Wikidata QID: Q129280991
description: scientific article; zbMATH DE number 6976648