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 #101 to #150.

Dialectical Considerations on the Logic of Contradiction: Part I: Label: en
Semipositive LTL with an Uninterpreted Past Operator: Label: en
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules: Label: en
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination: Label: en
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable: Label: en
A Weak Constructive Sequential Compactness Property and the Fan Theorem: Label: en
Representability in Default Logic: Label: en
A Resolution Calculus for Shortening Proofs: Label: en
Cardinal spaces and topological representations of bimodal logics: Label: en
Hybrid logics with Sahlqvist axioms: Label: en
The Complexity of Propositional Proofs with the Substitution Rule: Label: en
Amalgamation Theorems in Algebraic Logic, an overview: Label: en
The Unique Intermediate Logic Whose Every Rule is Archetypal: Label: en
Independence Results in Algebraic Logic: Label: en
Partially-Elementary Extension Kripke Models: A Characterization and Applications: Label: en
S4 is Topologically Complete for (0,1): a Short Proof: Label: en
A Minimal Hybrid Logic for Intervals: Label: en
Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK: Label: en
On some questions of L. Åqvist: Label: en
Exploring Computational Contents of Intuitionist Proofs: Label: en
A Theory of Local Set Queries: Label: en
An Application of Logic Engineering: Label: en
Reasoning about Knowledge in Asynchronous Distributed Systems: Label: en
Towards a Modal Logical Treatment of Quantum Physics: Label: en
Many-valued Logics in Classical and Quantum Gates: Label: en
Structures and Structural Realism: Label: en
Can Common Sense Realism be Extended to Theoretical Physics?: Label: en
Basic propositional logic and the weak excluded middle: Label: en
Probabilistic logic of quantum observations: Label: en
Some lattice-ordered algebras on which all congruences are principal: Label: en
Analogues of Bull’s theorem for hybrid logic: Label: en
On categorical equivalences of equality algebras and monadic equality algebras: Label: en
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments: Label: en
Localizing finite-depth Kripke models: Label: en
Some structural properties of quasi-degrees: Label: en
Propositional superposition logic: Label: en
Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs: Label: en
Proof systems for BAT consequence relations: Label: en
A decomposition-based method for solving the clustered vehicle routing problem: Label: en
On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices: Label: en
A comparison of classification strategies in rule-based classifiers: Label: en
On the structure theory of Łukasiewicz near semirings: Label: en
The quantum logic of direct-sumdecompositions: the dual to the quantum logic of subspaces: Label: en
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018): Label: en
Preservation of choice principles under realizability: Label: en
Locally finite monoids in finitely based varieties: Label: en
Game-theoretic semantics for non-distributive logics: Label: en
Unification in first-order transitive modal logic: Label: en
Justification announcements in discrete time. Part II: Frame definability results: Label: en
Forcing and satisfaction in Kripke models of intuitionistic arithmetic: Label: en