Keywords: 03G25; 03G15; 03B45; 03C95; Free algebras; Atoms; Zero-dimensional elements;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03C40; 03B45; Interpolation; Fusion; Modal logic; Superamalgamability;
Keywords: 03B45; 03B10; 06E25; 54C10; Region-based theories of space; Contact algebras; Modal logic; Topological semantics; Completeness; Lebesgue measure algebra;
Keywords: 03B45; 03B60; 03F03; Dependence logic; Team logic; Axiomatization; Completeness; Propositional team logic; Modal team logic;
Keywords: 03B45; 03C40; 03F03; 03F07; Craig interpolation; Lyndon interpolation; Structural proof theory; Hypersequent; Labelled sequent; Modal logic;
Keywords: 03F07; 03B45; 03F03; 03B60; Self-referentiality; Justification logic; Realization;
Keywords: 03C40; 03C50; 03B20; 03B45; Model theory; Intensional logic; Propositional logic; Asimulation; Bisimulation; Van Benthem's theorem;
Keywords: primary; 03B45; secondary; 54E35; 91A44; 54B15; Derivative operator; Dense-in-itself metric space; Modal logic; Finite model property; Strong completeness;
Keywords: 03B45; 03C40; 03F07; 03B70; Craig interpolation; Nested sequent; Structural proof theory; Modal logic;
Keywords: 03B45; 03B60; 03F45; 03F55; Justification logic; Logic of proofs; Possible world semantics; First-order; Completeness;
Keywords: 03B35; 03B45; 03B20; 03F03; Relational logic; Dual tableaux; Decision procedures; Modal logics; Intuitionistic logics;
Keywords: 03B45; 03B60; 03B62; 03F05Justification logic; Modal logic; Fitting model; Labeled sequent calculus; Analyticity
Keywords: 08C15; 03G27; 03B45; 06E25Almost structural completeness; Structural completeness; Quasivarieties; Axiomatization; Modal normal logics; Varieties of closure algebras
Keywords: 03A99; 03B45; 03B53; 03B60Justification logic; Modal logic; Realization
Keywords: 03B45; 03C80; 03B15Modal logic; Propositional quantifiers; Monadic second-order logic; Alternation hierarchies; Second-order logic
Keywords: 03B45; 03B20; 03B10; 03B99Modal logic; Quantified modal logic; FOS4; Topological semantics; Completeness; Measure algebra
Keywords: 03B45; 03F07; 03F45; 03F05Justification logic; Modal logic; 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
Keywords: 03F45; 03B45; 03F30; 03D15Provability logic; Reflection principle; Positive modal logic
Keywords: 03C35; 03B44; 03B45; 03B62Modal logic; Neighborhood semantics; Plausibility ordering; Evidence-based reasoning; Doxastic logic
Keywords: 03B45; 03F05; 03G25; 08B20Modal logic; Bounded proof property; Finite model property; Step correspondence
Keywords: 03F45; 03B45; 54A10; 54G12Provability logic; Scattered spaces; GLP
The omega-rule interpretation of transfinite provability logic
Keywords: 03F03; 03F45; 03B30; 03B45; Provability logic; Arithmetic interpretation; Iterated provability;
The Σ1-provability logic of HA
Keywords: 03F45; 03B45; 03F50; 03F55; Heyting Arithmetic; Intuitionistic logic; Modal Logic; Provability Logic;
Realization for justification logics via nested sequents: Modularity through embedding
Keywords: 03B45; 03B60; 03F07; Justification logic; Modal logic; Nested sequents; Realization theorem; Embedding;
Kleisli morphisms and randomized congruences for the Giry monad
Keywords: 18C20; 03B45; 08A70; 18A32; 18B10
Completeness of S4 with respect to the real line: revisited
Keywords: 03B45; 06E25; 54C10; Modal logic; Topology; Boolean algebras with operators; Completeness;
CCS with Hennessy's merge has no finite-equational axiomatization
Keywords: 08A70; 03B45; 03C05; 68Q10; 68Q45; 68Q55; 68Q70; Concurrency; Process algebra; CCS; Bisimulation; Hennessy's merge; Left merge; Communication merge; Equational logic; Complete axiomatizations; Non-finitely based algebras;