Journal of Logic and Computation

Titel Veröffentlichungsdatum Sprache Zitate
A Decision Algorithm for Stratified Context Unification2002/12/01English10
Relating the   - and  s-styles of explicit substitutions2000/06/01English10
Iterated reflection over full disquotational truth2017/08/08English10
Complexity of finite-variable fragments of products with K2020/10/22English10
Fine-tuning natural language imperatives2016/02/06English9
Open sets in computability theory and reverse mathematics2020/10/02English9
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL1993/01/01English9
A Complete Proof Synthesis Method for the Cube of Type Systems1993/01/01English9
Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases1995/01/01English9
A Complete Axiomatization of the Three valued Completion of Logic Programs1991/01/01English9
2-Sequent Calculus: Intuitionism and Natural Deduction1993/01/01English9
Interaction-based Runtime Verification for Systems of Systems Integration2008/11/16English9
Completeness and Cut-elimination in the Intuitionistic Theory of Types2005/12/01English9
The Expressivity of Quantifying over Regions2006/08/12English9
On deontic action logics based on Boolean algebra2013/11/07English9
Borrowing interpolation2011/03/22English9
Controlled Revision - An algorithmic approach for belief revision2003/02/01English9
A relevant analysis of natural deduction1998/12/01English9
Final Coalgebras are Ideal Completions of Initial Algebras2002/04/01English9
Credibility-limited Functions for Belief Bases2003/02/01English9
Modal Logics Between Propositional and First-order2002/12/01English9
Revision Sequences and Computers with an Infinite Amount of Time2001/02/01English9
The language of epistemic specifications (refined) including a prototype solver2015/09/09English9
Optimum stable model search: algorithms and implementation2015/08/31English9
Downward Löwenheim–Skolem Theorem and interpolation in logics with constructors2015/05/16English9
A Relevance-theoretic Framework for Constructing and Deconstructing Enthymemes2009/11/12English9
Codd's Relational Model from the Point of View of Fuzzy Logic2009/09/14English9
Classificatory Aspects of Counts-as: An Analysis in Modal Logic2006/10/01English9
On Long Normal Inhabitants of a Type2005/06/01English9
Stage semantics and the SCC-recursive schema for argumentation semantics2014/02/13English9