Pages that link to "Item:Q1314283"
From MaRDI portal
The following pages link to Generalized quantifiers and modal logic (Q1314283):
Displaying 50 items.
- Modal ontology and generalized quantifiers (Q373015) (← links)
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- Semantics and computation of the generalized modus ponens: The long paper (Q582262) (← links)
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- A representation theorem for languages with generalized quantifiers through back-and-forth methods (Q752702) (← links)
- Reasoning about coalitional games (Q834401) (← links)
- Modal logic and model theory (Q1080411) (← links)
- Cardinality restrictions on concepts (Q1391904) (← links)
- Local properties in modal logic (Q1761295) (← links)
- One connection between standard invariance conditions on modal formulas and generalized quantifiers (Q1868488) (← links)
- Undefinability of propositional quantifiers in the modal system S4 (Q1902553) (← links)
- Partial up an down logic (Q1903583) (← links)
- Binary quantification systems (Q1906668) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic (Q1909605) (← links)
- Multi-dimensional semantics for modal logics (Q1924325) (← links)
- The modality and non-extensionality of the quantifiers (Q2053345) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
- Approximation, solution operators and quantale-valued metrics (Q2407702) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Natural deduction for generalized quantifiers (Q2702240) (← links)
- Quantifiers in logic and proof-search using permissive-nominal terms and sets (Q3195622) (← links)
- (Q3309807) (← links)
- A Modal Extension of Weak Generalisation Predicate Logic (Q3433107) (← links)
- Skolem Theory and Generalized Quantifiers (Q3511466) (← links)
- (Q3574465) (← links)
- Quantificational modal logic with sequential Kripke semantics (Q3647226) (← links)
- (Q3647278) (← links)
- (Q3778732) (← links)
- A Modal Logic for Quantification and Substitution (Q4318161) (← links)
- Some considerations on the logics P<sub>F</sub>D A logic combining modality and probability (Q4354625) (← links)
- (Q4391083) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- Arithmetizations of Syllogistic à la Leibniz (Q4531585) (← links)
- Quantales and structural rules (Q4716049) (← links)
- (Q4731169) (← links)
- A Way of Making World Quantification Explicit (Q4823802) (← links)
- Counting Objects (Q4835536) (← links)
- Correspondence and Completeness for Generalized Quantifiers (Q4842271) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- (Q4935595) (← links)
- (Q4946221) (← links)
- Generalized Quantifiers Meet Modal Neighborhood Semantics (Q5015970) (← links)
- Generalized Modal Satisfiability (Q5449825) (← links)
- Generalized quantification as substructural logic (Q5687328) (← links)
- Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) (Q5937814) (← links)
- Immediate consequences operator on generalized quantifiers (Q6083146) (← links)