Extension (logic)

1. REDIRECT Extension (semantics)

{{Rcatsh|

{{R adr|Logical extension}}

}}