Pages that link to "Item:Q2820680"

The following pages link to Logic, Language, Information, and Computation (Q2820680):

Displaying 50 items.

• Descriptive complexity of graph spectra (Q2273011) (← links)
• A model-theoretic characterization of constant-depth arithmetic circuits (Q2273012) (← links)
• Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
• Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
• The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681) (← links)
• Compactness in Infinitary Gödel Logics (Q2820682) (← links)
• Cut Elimination for Gödel Logic with an Operator Adding a Constant (Q2820683) (← links)
• A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684) (← links)
• Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction (Q2820685) (← links)
• Justified Belief and the Topology of Evidence (Q2820686) (← links)
• Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints (Q2820687) (← links)
• Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
• Second-Order False-Belief Tasks: Analysis and Formalization (Q2820690) (← links)
• Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
• A Logical Approach to Context-Specific Independence (Q2820693) (← links)
• Causality in Bounded Petri Nets is MSO Definable (Q2820695) (← links)
• A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
• True Concurrency of Deep Inference Proofs (Q2820698) (← links)
• On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699) (← links)
• Semantic Equivalence of Graph Polynomials Definable in Second Order Logic (Q2820700) (← links)
• Sheaves of Metric Structures (Q2820701) (← links)
• A Curry–Howard View of Basic Justification Logic (Q2820702) (← links)
• On the Formalization of Some Results of Context-Free Language Theory (Q2820703) (← links)
• The Semantics of Corrections (Q2820707) (← links)
• The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
• Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
• Anaphors and Quantifiers (Q2820711) (← links)
• Logic and Agent Programming Languages (Q2849419) (← links)
• Modelling Infinite Structures with Atoms (Q2849420) (← links)
• Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach (Q2849421) (← links)
• First Order Extensions of Residue Classes and Uniform Circuit Complexity (Q2849422) (← links)
• Quantum Probabilistic Dyadic Second-Order Logic (Q2849423) (← links)
• Structural Extensions of Display Calculi: A General Recipe (Q2849424) (← links)
• The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic (Q2849425) (← links)
• Boolean Dependence Logic and Partially-Ordered Connectives (Q2849426) (← links)
• Extended Modal Dependence Logic $\mathcal{EMDL}$ (Q2849427) (← links)
• Dependence Logic with Generalized Quantifiers: Axiomatizations (Q2849428) (← links)
• Continuous Truth II: Reflections (Q2849429) (← links)
• A Simple Separation Logic (Q2849430) (← links)
• Independence in Database Relations (Q2849431) (← links)
• Substructural Logic of Proofs (Q2849432) (← links)
• Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics (Q2849433) (← links)
• A Finite Model Property for Gödel Modal Logics (Q2849434) (← links)
• Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice (Q2849435) (← links)
• Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL* (Q2849436) (← links)
• Information, Awareness and Substructural Logics (Q2849437) (← links)
• Quantum State Transformations and Branching Distributed Temporal Logic (Q2938127) (← links)
• Definability for Downward and Vertical XPath on Data Trees (Q2938128) (← links)
• On the Value of Variables (Q2938129) (← links)
• Logics with Copy and Remove (Q2938130) (← links)