The following pages link to Determiners and logic (Q3318752):
Displaying 27 items.
- Not only Barbara (Q302240) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- Foundations of conditional logic (Q796516) (← links)
- Arthur Prior and hybrid logic (Q857663) (← links)
- On the lattice of extensions of the modal logics \(KAlt_ n\) (Q1111541) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Canonicity for intensional logics without iterative axioms (Q1368753) (← links)
- On the relation between fuzzy and generalized quantifiers (Q1677902) (← links)
- Evaluation of quantified propositions in generalized models of fuzzy quantification (Q1879737) (← links)
- Hybrid languages (Q1909610) (← links)
- Nominal comparatives and generalized quantifiers (Q1910890) (← links)
- Russell and his sources for non-classical logics (Q1931336) (← links)
- A propositional dynamic logic with qualitative probabilities (Q1961927) (← links)
- The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many'' (Q2219168) (← links)
- Fuzzy quantification: a state of the art (Q2350481) (← links)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals (Q2462670) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Mereology in Engineering and Computer Science (Q3295807) (← links)
- Logical constants in quantifier languages (Q3727961) (← links)
- Geometrical structures and modal logic (Q4632288) (← links)
- Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality (Q5027246) (← links)
- A Logic for Spatial Reasoning in the Framework of Rough Mereology (Q5056084) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
