Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #51 to #100.

Combining temporal logic systems: Label: en
The price of universality: Label: en
A counterexample in tense logic: Label: en
Editors' introduction to the special issue on combining logics: Label: en
Uncertainties over distribution dispelled.: Label: en
Attributive names.: Label: en
Levels of uniformity: Label: en
Functional dependence in strategic games: Label: en
Erratum to: ``Conditionals and conditional probabilities without triviality: Label: en
Prospects for a theory of decycling: Label: en
Definable functions and stratifications in power-bounded \(T\)-convex fields: Label: en
\textit{Begriffsschrift}'s logic: Label: en
Ideals and their generic ultrafilters: Label: en
Connexive restricted quantification: Label: en
On the proof of elimination of imaginaries in algebraically closed valued fields: Label: en
Actuality and quantification: Label: en
Concerted instant-interval temporal semantics. I: Temporal ontologies: Label: en
Varying modal theories: Label: en
On generalizations of a theorem of Vaught: Label: en
Derivability conditions on Rosser's provability predicates: Label: en
The logic of the liar from the standpoint of the Aristotelian syllogistic: Label: en
Investigations on a comprehesnion axiom without negation in the defining propositional functions: Label: en
The truncation of truth-functional calculation: Label: en
Neuer Beweis der funktionalen Vollständigkeit des zweiwertigen Aussagenkalküls: Label: en
Propositional logic in Plato's Protagoras: Label: en
Independence of Faris-rejection axioms: Label: en
Toward a pragmatical explication of epistemic modalities: Label: en
A simple decision procedure for one-variable implication/negation formulae in intuitionist logic: Label: en
A standard form for Łukasiewicz many-valued locics: Label: en
A simple proof of functional completeness in many-valued logics based on Lukasiewicz's \(C\) and \(N\): Label: en
Studies in the axiomatic foundations of Boolean algebra. I: Label: en
A rule-completeness theorem: Label: en
On characterizations of the first-order functions calculus: Label: en
Certain formulas equivalent to the axiom of choice: Label: en
A stipulation of a modal propositional calculus in terms of modalized truth-values: Label: en
A note concerning the many-valued propositional calculi: Label: en
A new condition for a modular lattice: Label: en
A simple formula equivalent to the axiom of choice: Label: en
Functional completeness of Henkin's propositional fragments: Label: en
An extension algebra and the modal system: Label: en
Avicenna on the logic of `Conditional' propositions: Label: en
The number of moduli in \(n\)-ary relations: Label: en
Some definitions of subjunctive implication, of counterfactual implication, and of related concepts: Label: en
A negation-free proof of Cantor's theorem: Label: en
A deontic counterpart of Lewis's S1: Label: en
Sets without subsets of higher many-one degree: Label: en
Equivalences between pure type systems and systems of illative combinatory logic: Label: en
Finite tree property for first-order logic with identity and functions: Label: en
The role of quantifier alternations in cut elimination: Label: en
On the first-order prefix hierarchy: Label: en