Temporal logic with accessibility temporal relations generated by time states themselves
type: Item
instance of: scholarly article
title: Temporal logic with accessibility temporal relations generated by time states themselves
zbMATH Open document ID: 1437.03081
publication date: 2020-07-21T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7223675
zbMATH Keywords: temporal logic
zbMATH Keywords: non-classical logics
zbMATH Keywords: information
zbMATH Keywords: knowledge representation
zbMATH Keywords: deciding algorithms
zbMATH Keywords: computability
zbMATH Keywords: satisfiability
zbMATH Keywords: decidability
author: Vladimir Rybakov
MaRDI profile type: Publication
full work available at URL: semi.2020.17.068
OpenAlex ID: W3115499460
cites work: Unification of concept terms in description logics
cites work: Linear Temporal Logic LTL: Basis for Admissible Rules
cites work: One hundred and two problems in mathematical logic
cites work: An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
cites work: Q3835817
cites work: Hierarchies of modal and temporal logics with reference pointers
cites work: Unification in intuitionistic logic
cites work: Unification through projectivity
cites work: Inference rules in Nelson's logics, admissibility and weak admissibility
cites work: Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
cites work: Refined common knowledge logics or logics of common information
cites work: Logical consecutions in discrete linear temporal logic
cites work: Linear temporal logic with until and next, logical consecutions
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: Writing out Unifiers in Linear Temporal Logic
cites work: Non-transitive linear temporal logic and logical knowledge operations
cites work: Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
cites work: Multiagent temporal logics with multivaluations
cites work: Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
cites work: Temporal multi-valued logic with lost worlds in the past
cites work: Branching time agents logics, satisfiability problem by rules in reduced form
cites work: A Tableau Method for Checking Rule Admissibility in S4
cites work: Tense logic and time
cites work: Q4219045
cites work: Q4532196
DOI: 10.33048/SEMI.2020.17.068
published in: Sibirskie Elektronnye Matematicheskie Izvestiya
description: scientific article; zbMATH DE number 7223675