The following pages link to Journal Of Logic And Computation (Q2983390):
Displaying 50 items.
- A Logic of Type Relations and its Applications to Relational Databases (Q3431974) (← links)
- Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets (Q3431975) (← links)
- Computability in Specification (Q3431976) (← links)
- Logics with Common Weak Completions (Q3431977) (← links)
- The Expressivity of Quantifying over Regions (Q3431978) (← links)
- Axiomatizing the Monodic Fragment of (Q3437256) (← links)
- First-order Definable Retraction Problems for Posets and Reflexive Graphs (Q3437257) (← links)
- Anytime Approximations of Classical Logic from Above (Q3437258) (← links)
- The Dynamics of Syntactic Knowledge (Q3437259) (← links)
- A Tableau for Bundled CTL (Q3437260) (← links)
- Complexity of the Guarded Two-variable Fragment with Counting Quantifiers (Q3437261) (← links)
- Generalized Strong Preservation by Abstract Interpretation (Q3437262) (← links)
- On Action Logic: Equational Theories of Action Algebras (Q3437263) (← links)
- A formalization of argumentation schemes for legal case-based reasoning in ASPIC+ (Q3450203) (← links)
- Polynomially parsable unification grammars (Q3450205) (← links)
- The syntactic concept lattice: Another algebraic theory of the context-free languages? (Q3450206) (← links)
- Blending margins: the modal logic K has nullary unification type (Q3450207) (← links)
- On deontic action logics based on Boolean algebra (Q3450208) (← links)
- Recent advances of research on Computational Logic in Italy (CILC 2012): In memoriam of Elio Lanzarone (1945-2011) (Q3458884) (← links)
- Efficient generation of test data structures using constraint logic programming and program transformation (Q3458885) (← links)
- Multi-engine ASP solving with policy adaptation (Q3458886) (← links)
- Achieving completeness in the verification of action theories by Bounded Model Checking in ASP (Q3458887) (← links)
- Rank and simulation: the well-founded case (Q3458888) (← links)
- An ASP approach for the valves positioning optimization in a water distribution system (Q3458889) (← links)
- Elio Lanzarone: a life for science (Q3458891) (← links)
- Computability in Europe 2010 (Q3465043) (← links)
- Hairpin lengthening: language theoretic and algorithmic results (Q3465044) (← links)
- Haskell before Haskell: an alternative lesson in practical logics of the ENIAC (Q3465045) (← links)
- Recent complexity-theoretic results on P systems with active membranes (Q3465046) (← links)
- Counting the changes of random Δ20 sets (Q3465047) (← links)
- From mathematical logic to programming-language semantics: a discussion with Tony Hoare (Q3465048) (← links)
- A single-type logic for natural language (Q3465049) (← links)
- A Tribute to Marian Boykan Pour-El (1928–2009) (Q3465051) (← links)
- General Models and Completeness of First-Order Modal -calculus (Q3520232) (← links)
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification (Q3520233) (← links)
- One-and-a-halfth-order Logic (Q3520234) (← links)
- Sum and Product in Dynamic Epistemic Logic (Q3520235) (← links)
- Lambek Calculus in Natural Deduction (Q3520236) (← links)
- A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames (Q3520237) (← links)
- A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic (Q3520238) (← links)
- On the Hierarchy of Intuitionistic Bounded Arithmetic (Q3520239) (← links)
- Adding Intensional Machinery to Hybrid Logic (Q3520240) (← links)
- Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type (Q3520241) (← links)
- Pedagogical Second-order Propositional Calculi (Q3520242) (← links)
- Degrees of Belief (Q3529375) (← links)
- Three Scenarios for the Revision of Epistemic States (Q3529376) (← links)
- An Axiomatic Characterization of Ensconcement-Based Contraction (Q3529378) (← links)
- Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs (Q3529380) (← links)
- Reinforcement Belief Revision (Q3529381) (← links)
- Modal Operators over Constructive Logic (Q3549311) (← links)
