The Modal Logic of Set-Theoretic Potentialism and the Potentialist Maximality Principles.
Joel David HamkinsØystein LinneboPublished in: Rev. Symb. Log. (2022)
Keyphrases
- modal logic
- set theoretic
- image recovery
- temporal logic
- inference rules
- epistemic logic
- nonmonotonic logics
- dynamic logic
- situation calculus
- classical logic
- prime implicates
- conditional logic
- explanation based generalization
- autoepistemic logic
- model checking
- multi agent
- default logic
- conditional probabilities
- modal operators
- image retrieval
- data mining