Category:Modal logic

• Free choice inference
• Modal logic
• Simplification of disjunctive antecedents

A

• Admissible rule
• Alethic modality
• Modal algebra
• Assertoricity

B

• Barcan formula
• Buridan formula

C

• Classical modal logic
• Modal collapse
• Modal companion
• Counterexample-guided abstraction refinement

D

• Deontic logic
• Modal depth
• Dynamic logic (modal logic)

E

• Epistemic modal logic
• Essence

F

• Frege–Church ontology

G

• General frame
• Gödel's ontological proof
• Guarded logic

H

• Hennessy–Milner logic
• Hybrid logic

I

• Interior algebra

K

• Kripke semantics

L

• Löb's theorem
• Logical possibility
• Logico-linguistic modeling

M

• Modal clausal form
• Multimodal logic

N

• Necessity of identity
• Neighborhood semantics
• Non-normal modal logic
• Normal modal logic

O

• Modal operator

P

• Possible world
• Predicate abstraction
• Problem of future contingents
• Provability logic

R

• Regular modal logic

S

• S5 (modal logic)
• Sahlqvist formula
• Modal fallacy
• Standard translation
• Strict conditional
• Subjunctive possibility

T

• Two-dimensionalism

W

• Window operator

Μ

• Modal μ-calculus