type of logic

[metaphorz99]

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.

[acanas]

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.

[herrylauu]

Focuses on propositions qualified in terms of time, allowing reasoning about sequences of events. Temporal logic is often used in computer science to verify the behavior of concurrent systems. Hole IO

[lilycollins9x]

As for concept mapping and its integration with formal logic, you are exploring a very interesting and valuable area! Concept mapping, as you have stated, is a great tool for representing knowledge and knowledge combinations, especially when you combine it with methodological logic expressions. Your completion of the logic teaching videos and the CMAPTools that are expected to be included is an impressive step forward in combining theory and practical application.1v1 lol