Quantifier-free epistemic term-modal logic with assignment operator
Yanjing Wang, Yu Wei, Jeremy Seligman
Topics & Concepts
Epistemic modal logicModal logicDecidabilityModal operatorNormal modal logicPredicate logicMultimodal logicDynamic logic (digital electronics)Predicate (mathematical logic)Accessibility relationComputer scienceS5ModalExpressive powerQuantifier (linguistics)Term (time)Modal μ-calculusOperator (biology)Domain (mathematical analysis)MathematicsDescription logicAlgorithmProgramming languageArtificial intelligenceTranscription factorMathematical analysisPolymer chemistryPhysicsVoltageGeneChemistryBiochemistryQuantum mechanicsTransistorRepressorLogic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationSemantic Web and Ontologies