EntityQ3836453· pop 5· linked from 35 articlesdynamic logicSign in to saveextension of modal logicConnectionsdeadlockEntityformal systemEntityphilosophyEntitylinguisticsEntitylogicEntityArtificial intelligenceConceptInternational Standard Book NumberEntitynatural numberEntitycomputer programEntityEdsger W. DijkstraEntityBoolean algebraEntitymathematical inductionEntityregular expressionEntityGiuseppe PeanoEntitypropositional calculusEntityelementary algebraEntitylogical conjunctionEntitytheoretical computer scienceEntityStanford Encyclopedia of PhilosophyEntityidentity functionEntityCategoriesLogic in computer scienceModal logicNon-classical logicProgram logic