Non-transitive linear temporal logic and logical knowledge operations
From MaRDI portal
Publication:2826032
DOI10.1093/LOGCOM/EXV016zbMath1403.03028OpenAlexW2323345003MaRDI QIDQ2826032
Vladimir Vladimirovich Rybakov
Publication date: 7 October 2016
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://e-space.mmu.ac.uk/465/2/exv016-new.pdf
Related Items (16)
Multiagent temporal logics with multivaluations ⋮ Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Multiagent temporal logics, unification problems, and admissibilities ⋮ Temporal multi-valued logic with lost worlds in the past ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ Dynamic temporal logical operations in multi-agent logics ⋮ Satisfiability problem in interval FP-logic ⋮ Formulas expressing totally nonstable truth values of formulas ⋮ Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Multi-agent temporal nontransitive linear logics and the admissibility problem ⋮ Branching time logics with multiagent temporal accessibility relations ⋮ Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility ⋮ Temporal logic with accessibility temporal relations generated by time states themselves ⋮ Branching time agents logics, satisfiability problem by rules in reduced form
This page was built for publication: Non-transitive linear temporal logic and logical knowledge operations
