Modal logic 3 Modal logics 3 Formal logic 2 Hybrid logics 2 Biomineralization 1 Bisimulations 1 Boolean functions 1 Calculations 1 Characterization 1 Characterization theorems 1 Coinduction 1 Completeness 1 Computer simulation 1 Conjunctive normal forms 1 Definability 1 First order logic 1 Hybrid logic 1 Memory logics 1 Modal depth 1 Modal formulas 1 Modal language 1 Model theory 1 Normal form 1 Normal forms 1 Observational equivalences 1 Order and selection function constraints 1 Pathology 1 Polynomial approximation 1 Polynomial-time 1 Propositional logic 1