The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N
BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS（2024）
Key words
modal logic,temporal logic,common knowledge,deciding algorithms,multi- agent logic
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined