Keywords: منطق استدلال; 03F07; 03B45; 03F03; 03B60; Self-referentiality; Justification logic; Realization;
مقالات ISI منطق استدلال (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق استدلال; Justification logic; Computational complexity; Satisfiability
Keywords: منطق استدلال; 03B45; 03B60; 03F45; 03F55; Justification logic; Logic of proofs; Possible world semantics; First-order; Completeness;
Keywords: منطق استدلال; Justification logic; Dynamic epistemic logic; Public announcements; Belief revision
Keywords: منطق استدلال; 03B45; 03B60; 03F07; 68Q17Epistemic logic; Logical omniscience; Justification logic; Complexity theory
Keywords: منطق استدلال; 03F30; 03B42; 03F45; 03F40Knower Paradox; Explicit modal logic; Justification logic; Reflection principles; Provability logic
Keywords: منطق استدلال; 03B42; 03B70; 68T27; 68T30Dynamic epistemic logic; Justification Logic; Belief revision; Logical omniscience; Gettier; Evidence
Realization for justification logics via nested sequents: Modularity through embedding
Keywords: منطق استدلال; 03B45; 03B60; 03F07; Justification logic; Modal logic; Nested sequents; Realization theorem; Embedding;
Justification logics and hybrid logics
Keywords: منطق استدلال; Hybrid logic; Justification logic; Logic of proofs; Nominals