Det är ABSTRACT. Motiveringslogik är epistemiska logiker som uttryckligen inkluderar motiveringar för agenternas kunskap. Vi utvecklar en mångagentisk motiveringslogik med bevisvillkor för såväl enskilda agenter som för gemensam kunskap. Vi definierar en Kripke-stil semantik som liknar Fittings semantik för Logic of Proofs LP. Vi visar sundheten, fullständigheten och den finita modellens egenskap hos vår mångagentiska motiveringslogik med avseende på denna Kripke-stilsemantik. Vi visar att vår logik är en konservativ förlängning av Yavorskayas minimala bimodala explicita bevislogik, som är en tvåagentversion av LP. Vi diskuterar relationen mellan vår logik och den multiagentiska modallogiken S4 med gemensam kunskap. Slutligen ger vi en kort analys av det samordnade attackproblemet på det nyutvecklade språket i vår logik.
Bucheli m.fl. REF introducerar en motiveringslogik med gemensam kunskap.
Justifications for common knowledge
{'venue': 'Journal of Applied Non-Classical Logics', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}