Using propositions as variables
I have encountered the following problem a couple of times. This problem is this: When formalizing something in predicate logic, the predicate uses propositions as variables.1 We may refer to…
Modal logic formalization, multiple kinds of possibilities
Formatting requires a PDF file. modal-logic-formalization