Keywords: منطق مودال; Perfection; Information; Philosophy; Ontology; Modal logic;
مقالات ISI منطق مودال (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق مودال; C72; Rationalizability; Modal logic; Necessitation;
Keywords: منطق مودال; Bisimulation; Fuzzy transition system; Modal logic; Logical characterization;
Keywords: منطق مودال; Dynamic Logic; Petri nets; Modal Logic;
Keywords: منطق مودال; Bisimulation; Fuzzy transition system; Modal logic; Logical characterization; Logical metric;
Keywords: منطق مودال; Constraint systems; Concurrent constraint programming; Concurrency theory; Modal logic; Inverse operators;
Keywords: منطق مودال; 03C40; 03B45; Interpolation; Fusion; Modal logic; Superamalgamability;
Keywords: منطق مودال; Rough set; Modal logic; Category; Definability;
Keywords: منطق مودال; Modal logic; Awareness; Bisimulation; Expressivity; Multi-agent systems;
Keywords: منطق مودال; Computer security; Formal methods; Process algebra; Security policy; Policy enforcement; Ambient calculus; Modal logic;
Keywords: منطق مودال; 03B45; 03B10; 06E25; 54C10; Region-based theories of space; Contact algebras; Modal logic; Topological semantics; Completeness; Lebesgue measure algebra;
Keywords: منطق مودال; 03B45; 03C40; 03F03; 03F07; Craig interpolation; Lyndon interpolation; Structural proof theory; Hypersequent; Labelled sequent; Modal logic;
Keywords: منطق مودال; Modal logic; Knowledge representation; Second-order propositional modal logic; Epistemic logic; Local properties;
Keywords: منطق مودال; Probabilistic processes; Bisimilarity; Testing equivalence; Modal logic;
Keywords: منطق مودال; Modal logic; Dynamic epistemic logic; Complexity; Expressivity;
Keywords: منطق مودال; Algebraic structures; Modal logic; Epistemic logic; Concurrency theory; Mobility; Lies;
Keywords: منطق مودال; Modal logic; Knowledge representation; Arrow update logic; Dynamic epistemic logic; Arbitrary arrow update logic; Arbitrary announcement logic;
Keywords: منطق مودال; Social choice theory; Collective rationality; Impossibility theorems; Graph theory; Modal logic; Preference aggregation; Belief merging; Consensus clustering; Argumentation theory;
Keywords: منطق مودال; primary; 03B45; secondary; 54E35; 91A44; 54B15; Derivative operator; Dense-in-itself metric space; Modal logic; Finite model property; Strong completeness;
Keywords: منطق مودال; Covering-based rough set; Modal logic; Completeness;
Keywords: منطق مودال; Existential second-order logic; Modal logic; Finite model theory
Keywords: منطق مودال; Intuitionistic logic; Modal logic; Tableau system; Decidability; Correspondence theorem;
Keywords: منطق مودال; Game theory; Extensive games; Short sight; Equilibrium; Modal logic
Keywords: منطق مودال; Bunched logic; Separation logic; Modal logic; Resource semantics; Tableaux; Concurrency;
Keywords: منطق مودال; Structural proof theory; Hypersequents; Modal logic; Hilbert axioms; Cut elimination; Decidability;
Keywords: منطق مودال; Fuzzy logic; Modal logic; Residuated poset; Tense logic; Tense operators; Fuzzy dynamic algebra;
Keywords: منطق مودال; Architectural reconfiguration; Architectural description language; Modal logic; Graded hybrid logic
Keywords: منطق مودال; Fuzzy measures; Possibility theory; Modal logic
Keywords: منطق مودال; Modal logic; Complexity of satisfiability; Bisimulation quantifiers
Keywords: منطق مودال; 03B45; 03C40; 03F07; 03B70; Craig interpolation; Nested sequent; Structural proof theory; Modal logic;
Keywords: منطق مودال; Modal logic; Possibility theory; FS-model;
Keywords: منطق مودال; Rough sets; Fuzzy sets; Many-valued logic; Gödel implication; Modal logic
Keywords: منطق مودال; Weighted transition systems; Modal logic; Proof systems; Completeness
Keywords: منطق مودال; Information system; Lower and upper approximations; Modal logic; First order predicate logic
Keywords: منطق مودال; 03B45; 03B60; 03B62; 03F05Justification logic; Modal logic; Fitting model; Labeled sequent calculus; Analyticity
Keywords: منطق مودال; Paraconsistent logic; Da Costa logic; Many-valued logic; Modal logic; Non-monotonic reasoning
Keywords: منطق مودال; modal logic; fibrations; categorical models
Keywords: منطق مودال; Qualitative reasoning; First-order theory; Modal logic; Axiomatization/completeness; Decidability/complexity; Definability
Keywords: منطق مودال; 03A99; 03B45; 03B53; 03B60Justification logic; Modal logic; Realization
Keywords: منطق مودال; Abstract Consequence Relations; Proof-Theory; Admissible Rules; Deduction Theorem; Uniform Substitution; Substructural Logic; Universal Logic; Modal Logic
Keywords: منطق مودال; Modal logic; Hybrid logic; Social networks analysis; Diffusion in social networks
Keywords: منطق مودال; 03B45; 03F07; 03F45; 03F05Justification logic; Modal logic; Classical logic
Keywords: منطق مودال; 03B42; 03B45; 03B60; 03F07Justification logic; Timed modal epistemic logic; Modal logic; Realization theorem; Hilbert-style proofs
Keywords: منطق مودال; Probabilistic actions; Modal logic; Tableau method; Systems of linear inequalities
Keywords: منطق مودال; Hybrid graph logic; Modal logic; Finite model theory; Pebble games; Quantifier-rank
Keywords: منطق مودال; Modal logic; Modal definability; Correspondence theory; Description logic; Knowledge base; Conjunctive query
The Σ1-provability logic of HA
Keywords: منطق مودال; 03F45; 03B45; 03F50; 03F55; Heyting Arithmetic; Intuitionistic logic; Modal Logic; Provability Logic;
The undecidability of arbitrary arrow update logic
Keywords: منطق مودال; Modal logic; Dynamic epistemic logic; Update logics; Undecidability; Satisfiability;
Bisimilar and logically equivalent programs in PDL with parallel operator
Keywords: منطق مودال; Bisimulation; Propositional dynamic logic; Modal logic; EXPTIME-completeness; Parallel Composition;