export record
dblp key:
journals/logcom/Rybakov09 share record
persistent URL:
Vladimir V. Rybakov : Linear Temporal Logic LTKK extended by Multi-Agent Logic Kn with Interacting Agents. J. Log. Comput. 19 (6 ) : 989-1017 (2009 )export record
dblp key:
journals/logcom/Selivanov09 share record
persistent URL:
Victor L. Selivanov : Undecidability in Some Structures Related to Computation Theory. J. Log. Comput. 19 (1 ) : 177-197 (2009 )export record
dblp key:
journals/logcom/SernadasSRC09 share record
persistent URL:
Amílcar Sernadas , Cristina Sernadas , João Rasga , Marcelo E. Coniglio : A Graph-theoretic Account of Logics. J. Log. Comput. 19 (6 ) : 1281-1320 (2009 )export record
dblp key:
journals/logcom/SernadasSRC09a share record
persistent URL:
Amílcar Sernadas , Cristina Sernadas , João Rasga , Marcelo E. Coniglio : On Graph-theoretic Fibring of Logics. J. Log. Comput. 19 (6 ) : 1321-1357 (2009 )export record
dblp key:
journals/logcom/Sevenster09 share record
persistent URL:
Merlijn Sevenster : Model-theoretic and Computational Properties of Modal Dependence Logic. J. Log. Comput. 19 (6 ) : 1157-1173 (2009 )export record
dblp key:
journals/logcom/SoskovaS09 share record
persistent URL:
Alexandra A. Soskova , Ivan N. Soskov : A Jump Inversion Theorem for the Degree Spectra. J. Log. Comput. 19 (1 ) : 199-215 (2009 )export record
dblp key:
journals/logcom/StephanMN09 share record
persistent URL:
Igor Stéphan , Benoit Da Mota , Pascal Nicolas : From (Quantified) Boolean Formulae to Answer Set Programming. J. Log. Comput. 19 (4 ) : 565-590 (2009 )export record
dblp key:
journals/logcom/Stewart09 share record
persistent URL:
Iain A. Stewart : Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays. J. Log. Comput. 19 (1 ) : 217-242 (2009 )export record
dblp key:
journals/logcom/ThangDH09 share record
persistent URL:
Phan Minh Thang , Phan Minh Dung , Nguyen Duy Hung : Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation. J. Log. Comput. 19 (6 ) : 1071-1109 (2009 )share record
persistent URL:
Yde Venema : Algebraic and Coalgebraic Logic Corner. J. Log. Comput. 19 (2 ) : 303 (2009 )export record
dblp key:
journals/logcom/Williamson09 share record
persistent URL:
Jon Williamson : Aggregating Judgements by Merging Evidence. J. Log. Comput. 19 (3 ) : 461-473 (2009 )share record
persistent URL:
Adam Zachary Wyner , Trevor J. M. Bench-Capon : Modelling Judicial Context in Argumentation Frameworks. J. Log. Comput. 19 (6 ) : 941-968 (2009 )share record
persistent URL:
Yan Zhang : Updating Epistemic Logic Programs. J. Log. Comput. 19 (2 ) : 405-423 (2009 )share record
persistent URL:
Chunlai Zhou : A Complete Deductive System for Probability Logic. J. Log. Comput. 19 (6 ) : 1427-1454 (2009 )