Satisfiability in a Temporal Multi-valueted Logic Based on Z

DOI10.17516/1997-1397-2022-15-1-56-74OpenAlexW4226462271MaRDI QIDQ5068367FDOQ5068367

Authors: V. R. Kiyatkin, Anna Vladimirovna Kosheleva 

Publication date: 6 April 2022

Published in: Journal of Siberian Federal University. Mathematics & Physics (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/jsfu975

zbMATH Keywords

multi-agent systemssatisfiabilitytemporal logicknowledge representation and reasoningepistemic modal logicmulti-agent logicdecidability in logicmulti-valueted logic

Mathematics Subject Classification ID

Game theory (91Axx) Artificial intelligence (68Txx) General logic (03Bxx)

Cites Work

• Multiagent Systems
• Title not available (Why is that?)
• Epistemic Conditions for Nash Equilibrium
• A nonstandard approach to the logical omniscience problem
• Title not available (Why is that?)
• The logic of empirical theories revisited
• FROM CLASSICAL TO EPISTEMIC GAME THEORY
• Multiagent temporal logics with multivaluations
• Temporal multi-valued logic with lost worlds in the past
• The epistemic structure of a theory of a game
• Title not available (Why is that?)
• Many-valued multi-modal logics, satisfiability problem
• Multi-agent logics with multi-valuations and intensional logical operations
• Projective formulas and unification in linear discrete temporal multi-agent logics
• Non-unifiability in linear temporal logic of knowledge with multi-agent relations

This page was built for publication: Satisfiability in a Temporal Multi-valueted Logic Based on Z

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5068367)