Journal of Logic and Computation

Titel Veröffentlichungsdatum Sprache Zitate
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages2021/01/23English10
Relevance and Conjunction2009/10/20English10
The  -Enumeration Degrees2007/08/08English10
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic2007/06/04English10
A Presentation of Quantum Logic Based on an and then Connective2007/09/04English10
An Axiomatic Characterization of Ensconcement-Based Contraction2008/02/15English10
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications2007/06/04English10
A Nominal Axiomatization of the Lambda Calculus2009/09/13English10
An extended framework for specifying and reasoning about proof systems2014/06/06English10
On Action Logic: Equational Theories of Action Algebras2006/08/23English10
Collaborative Runtime Verification with Tracematches2008/11/27English10
Applying Universal Algebra to Lambda Calculus2008/11/27English10
A Graph-theoretic Account of Logics2009/04/22English10
Relevance Realization and the Emerging Framework in Cognitive Science2009/10/26English10
The Logic of Quasi-MV Algebras2010/02/04English10
Computing the maximal Boolean complexity of families of Aristotelian diagrams2018/05/19English10
RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics2014/02/14English10
Coalgebraic logic programming: from Semantics to Implementation2014/05/28English10
Logical Weak Completions of Paraconsistent Logics2008/10/01English10
The Logic of Acceptance: Grounding Institutions on Agents' Attitudes2009/02/09English10
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA2006/10/01English10
A Logic for Concepts and Similarity2007/03/21English10
Comparing the Expressibility of Languages Formed Using NP-Complete Operators1991/01/01English10
A Unified View of Belief Revision and Update1994/01/01English10
On meet-combination of logics2011/10/07English10
Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents2009/05/04English10
Subclasses of binary NP1998/04/01English10
Two Logical Theories of Plan Recognition2002/06/01English10
Changing Modalities2004/04/01English10
Deterministic and non-deterministic stable models1997/10/01English10