Satisfiability in a Temporal Multi-valueted Logic Based on Z

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

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

temporal logicsatisfiabilitymulti-agent systemsknowledge representation and reasoningepistemic modal logicmulti-agent logicdecidability in logicmulti-valueted logic

Mathematics Subject Classification ID

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

Cites Work

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

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