{'fraction_non_alphanumeric': 0.012, 'fraction_numerical': 0.0, 'mean_word_length': 5.179012345679013, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Software Tools in Logic Education: Some Examples

Computers are increasingly present in education and make many resources and activities available to teachers and pupils. New pedagogical resources development is very interesting for both. Our digital library Summa Logicae is overtly involved in innovation and pedagogical systematization. It includes some software tools for teaching logic developed by computer science students, and in this article we present two of these tools. The MAFIA tool is especially attractive for first year students and helps them to understand the basic concepts of logic in an interactive way using sematic tableaux. It also allows them to solve the crazy cases in Mafia which their fellow students from previous years proposed. The Modelos de Kripke tool, oriented to a more advanced level, serves for understanding the link between the properties of the accessibility relation and the modal formulas, which is at the basis of the current developments of modal logic.