Keywords: منطق مدال; Modal logics; Kripke semantics; Graded modality; Weighted axioms;
مقالات ISI منطق مدال (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق مدال; Modal logics; Graph calculus; Kripke semantics; Special modalities; Frames;
Keywords: منطق مدال; Modal logics; Many-valued logics; Gödel logics; One-variable fragments; Decidability; Complexity; Finite model property;
Keywords: منطق مدال; Rough set theory; Lower and upper approximations; Modal logics; Axiomatization;
Keywords: منطق مدال; Modal Logics; XPath; Automated Reasoning; Data Trees; Counting;
Keywords: منطق مدال; Modal logics; Symmetry; Blocking; Detection; Evaluation
Keywords: منطق مدال; Modal logics; Model theory; Simulation; Characterization; Definability; Separation; Saturation
Keywords: منطق مدال; 03B35; 03B45; 03B20; 03F03; Relational logic; Dual tableaux; Decision procedures; Modal logics; Intuitionistic logics;
Keywords: منطق مدال; Modal logics; Tableau methods; Decision procedures; Prefixed tableau systems; Global assumptions problem
Formal reasoning in preference-based multiple-source rough set model
Keywords: منطق مدال; Rough set theory; Lower and upper approximations; Modal logics; First order predicate logic; Axiomatization
MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions
Keywords: منطق مدال; Fuzzy logics; Modal logics; Automated reasoning; Continuous t-norms; SMT; Infinitely valued logics;
Eliminability of cut in hypersequent calculi for some modal logics of linear frames
Keywords: منطق مدال; Proof theory; Hypersequent calculi; Programming calculi; Modal logics; Cut elimination;
Logics for belief functions on MV-algebras
Keywords: منطق مدال; Belief functions; Łukasiewicz logic; Modal logics; Fuzzy events
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
Keywords: منطق مدال; Modal logics; Hybrid logics; Normal forms; Modal depth
Model checking hybrid logics (with an application to semistructured data)
Keywords: منطق مدال; Model checking; Modal logics; Hybrid logics; Semistructured data
Characterisation of main classes of fuzzy relations using fuzzy modal operators
Keywords: منطق مدال; Fuzzy relations; Modal operators; Fuzzy logical operators; Modal operators; Modal logics; Fuzzy rough sets; Fuzzy mathematical morphology;