Keywords: 03G27; 03B25; 03G15; 03B60; Abstract algebraic logic; Leibniz hierarchy; Frege hierarchy Leibniz congruence; Decidability; Diophantine equations; Relation algebras;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03B45; 03B60; 03F03; Dependence logic; Team logic; Axiomatization; Completeness; Propositional team logic; Modal team logic;
Keywords: 03F07; 03B45; 03F03; 03B60; Self-referentiality; Justification logic; Realization;
Keywords: 03B60; 03B70; 03B05; 68P15; Propositional team logics; Team semantics; Dependence logic; Non-classical logic;
Keywords: 03F05; 03F07; 68T15; 03B60; Cut-elimination; Intuitionistic logic; CERES; Proof resolution;
Keywords: 03B60; 68T20; 68T27Probabilistic satisfiability; Conditional probability; Approximate probability; Meta-heuristics; Swarm intelligence
Keywords: 03B60; 03C80; 03F03; Axiomatization; Independence logic;
Keywords: 03B42; 03B70; 20A15; 03B60; Information flow; Symmetry; Axiomatization; Completeness;
Keywords: 03B45; 03B60; 03F45; 03F55; Justification logic; Logic of proofs; Possible world semantics; First-order; Completeness;
Keywords: 03B45; 03B60; 03B62; 03F05Justification logic; Modal logic; Fitting model; Labeled sequent calculus; Analyticity
Keywords: 03C45; 03B50; 03B60; 03C07Urysohn sphere; Continuous logic; Classification theory
Keywords: 03B60; 03B55; 03B65; 03B70Propositional dependence logic; Inquisitive logic; Team semantics; Non-classical logic
Keywords: 03B45; 03B60; 03F07; 68Q17Epistemic logic; Logical omniscience; Justification logic; Complexity theory
Keywords: 03B42; 03B45; 03B60; 03F07Justification logic; Timed modal epistemic logic; Modal logic; Realization theorem; Hilbert-style proofs
Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic
Keywords: 03B60; 03C80; 03C85; Inclusion logic; Exclusion logic; Dependence logic; Team semantics; Existential second order logic; Expressive power;
Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information
Keywords: 03B60; 03C80; 03C85Dependence; Independence; Imperfect information; Team semantics; Model theory
Realization for justification logics via nested sequents: Modularity through embedding
Keywords: 03B45; 03B60; 03F07; Justification logic; Modal logic; Nested sequents; Realization theorem; Embedding;
On negation: Pure local rules
Keywords: 03B22; 03B53; 03B60; Negation; Abstract deductive systems; Multiple-conclusion logic; Paraconsistency;