The following pages link to Quantifiers as modal operators (Q1150594):
Displaying 12 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Temporal reference in linear tense logic (Q965860) (← links)
- The domino relation: Flattening a two-dimensional logic (Q1120562) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Predicate metric tense logic for `now' and `then' (Q1947028) (← links)
- The modality and non-extensionality of the quantifiers (Q2053345) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Necessitarian propositions (Q2441798) (← links)
- Annual Meeting of the Association for Symbolic Logic (Q3689157) (← links)
- The completeness of a predicate-functor logic (Q3714045) (← links)
- Cylindric modal logic (Q4842635) (← links)
