Local Fact Change Logic
Declan Thompson
Topics & Concepts
Dynamic logic (digital electronics)Undecidable problemComputer scienceModal logicMultimodal logicTheoretical computer scienceDescription logicModalDecidabilityEngineeringElectrical engineeringVoltageTransistorChemistryPolymer chemistryLogic, Reasoning, and KnowledgeSemantic Web and OntologiesMulti-Agent Systems and Negotiation