9591

8846

كارشناسي ارشد

رياضي محض

اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي

1393

[يازده]،88ص.

ص.ع.به فارسي و انگليسي

مجتبي آقايي

محمدرضا رئوفي

11/12/93

مرتضي منيري، مقداد قاري

رياضي

ID8846

Justi cation for Common Knowledge Shima Falahati s falahaty@math iut ac ir September 21 2014 Department of Mathematical Sciences Isfahan University of Technology Isfahan 84156 83111 Iran Supervisor Dr Mojtaba Aghaei aghaei@cc iut ac ir Advisor Dr Mohammadreza Raoo raoo @cc iut ac ir 2010 MSC 03B42 Keywords Justi cation logic Epistemic modal logic Multi agent systems Commonknowledge AbstractJusti cation logics are epistemic logics that explicitly include justi cations for the agent sknowledge The rst logic of this kind is the logic of proofs LP an explicit counterpart ofthe modal logics S4 Indeed each theorem of LP becomes a theorem of S4 if all the terms arereplaced with the modality and vice versa each theorem of S4 can be transformed intoa theorem of LP if the occurrences of modality are replaced with suitable evidence terms Instead of statement A is known denoted A justi cation logics reason about justi cationsfor knowledge by using the construct t A to formalize statements t is a justi cation for A where dependent on the application the evidence term t can be viewed as an informaljusti cation or a formal mathematical proof The notion of common knowledge of A is de ned as the in nitary conjunction everybodyknows A and everybody knows that everybody knows A and so on This is equivalent tosaying that common knowledge of A is the greatest xed point of X everybody knows A and everybody knows X

مجتبي آقايي

محمدرضا رئوفي

مرتضي منيري، مقداد قاري