Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Meghdad Ghari"'
Autor:
Seyed Ali Kalantari, Meghdad Ghari
Publikováno v:
حکمت و فلسفه, Vol 16, Iss 61, Pp 89-121 (2020)
On the basis of the normativity of belief thesis in Epistemology, there is a normative relation between a belief and its content. On the basis of a well-known formulation of the Relation, which we call the narrow-scope norm of Truth, “one ought to
Externí odkaz:
https://doaj.org/article/b81310e160f144718e0bc730fece7ed0
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 243, Iss Proc. M4M9 2017, Pp 59-74 (2017)
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to moda
Externí odkaz:
https://doaj.org/article/3fe14e0550b84f35a10d516a3a3c52b3
Autor:
Meghdad Ghari
Publikováno v:
Artificial Intelligence and Law.
Autor:
Amir Farahmand Parsa, Meghdad Ghari
Publikováno v:
Studia Logica.
Autor:
Meghdad Ghari
Publikováno v:
Logic Journal of the IGPL. 31:1-38
Temporal justification logic is a new family of temporal logics of knowledge in which the knowledge of agents is modelled using a justification logic. In this paper, we present various temporal justification logics involving both past and future time
Publikováno v:
Journal of Logic and Computation.
Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the
Autor:
Meghdad Ghari, Emil Makovicky
Publikováno v:
Symmetry: Culture and Science. 29:279-301
Autor:
Meghdad Ghari
Publikováno v:
Annals of Pure and Applied Logic. 168:72-111
Justification logics are modal-like logics that provide a framework for reasoning about justifications. This paper introduces labeled sequent calculi for justification logics, as well as for combined modal-justification logics. Using a method due to
Autor:
Meghdad Ghari
Publikováno v:
Logic Journal of IGPL. 24:743-773
Autor:
Meghdad Ghari
Publikováno v:
Theory of Computing Systems. 55:1-40
Justification logics are a family of modal epistemic logics which enables us to reasoning about justifications and evidences. In this paper, we introduce evidence-based multi-agent distributed knowledge logics, called distributed knowledge justificat