Topology and Modality: the Topological Interpretation of First-order Modal Logic.
Steve AwodeyKohei KishidaPublished in: Rev. Symb. Log. (2008)
Keyphrases
- modal logic
- conditional logic
- topology preservation
- temporal logic
- inference rules
- topology preserving
- decision procedures
- topological properties
- multi modal
- epistemic logic
- persistent homology
- nonmonotonic logics
- general logic programs
- topological features
- medical images
- higher order
- morse theory
- classical logic
- autoepistemic logic
- topological information
- default logic
- first order logic
- reeb graph
- horn clauses
- situation calculus
- dynamic logic
- prime implicates
- model theoretic
- parallel thinning algorithm
- expert systems
- parametric active contours
- description logic alc
- theory revision