IHMC CmapTools & CmapServer Support Forum

For the concept map, has anyone written on how this fits into formal logic? I just finished some videos for my class on logic
and will next branch into knowledge representation (where I will include CMAPTools). I know of some debates on what
counts as "knowledge representation" but from a common sense perspective, CMAPs would seem to qualify despite not having
symbolic inference, quantification, and variables.

Concept maps are a knowledge representation that mediates between humans. That is, concept maps are meant to be read by other humans, not by machines. As such, they are less formal, have few rules, and thus are hard to interpret by machines. Once you start formalizing concept maps you end up with ontologies, that are meant to be a way to mediate with computers, not with other humans.