Beckmann Arnold , Preining Norbert

We consider intermediate predicate logics defined by fixed well-ordered (or dually well-ordered) linear Kripke frames with constant domains where the order-type of the well-order is strictly smaller t …

Journal of Logic and Computation 25(3), 527-547, 2014-03-17

機関リポジトリ DOI