Number of propositional variables

[varmaricha]

Is there a way to add more than 5 propositional variables to the model?

[vezwork]

Hi @varmaricha I'm very sorry I did not see your comment until now! There is not currently a way to add more than 5 propositional variables to the model.

This functionality could somewhat easily be added however, by adding entries to this propvars array: https://github.com/vezwork/modallogic/blob/master/js/app.js#L18 and maybe modifying a few of the places where the array is referenced in the code.

The reason that there is only 5 propositional variables is for simplicity, and I believe Ross Kirsling's original implementation also had 5 propositional variables.

If this feature would still help you out, let me know and I could look into adding it!