Multiagent Temporal Logics with Multivaluations

Article Properties
Cite
Rybakov, V. V. “Multiagent Temporal Logics With Multivaluations”. Siberian Mathematical Journal, vol. 59, no. 4, 2018, pp. 710-2, https://doi.org/10.1134/s0037446618040134.
Rybakov, V. V. (2018). Multiagent Temporal Logics with Multivaluations. Siberian Mathematical Journal, 59(4), 710-720. https://doi.org/10.1134/s0037446618040134
Rybakov VV. Multiagent Temporal Logics with Multivaluations. Siberian Mathematical Journal. 2018;59(4):710-2.
Journal Category
Science
Mathematics
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Non-transitive linear temporal logic and logical knowledge operations Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 10 2016
Linear Temporal Logic LTL: Basis for Admissible Rules Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 23 2011
10.2168/LMCS-6(3:17)2010 Logical Methods in Computer Science
  • Philosophy. Psychology. Religion: Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2010
Proof theory for admissible rules Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 31 2009
Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 10 2009