Volume 16,
Number 1,
February 2006
Special Issue:
Semantics Corner and Selected Papers of the joint LICS-ICALP '04 Workshop "Logics for Resources,
Processes,
and Programs" Editorial
Original Articles
Volume 16,
Number 2,
April 2006
- Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge:
Hybrid Logics with Infinitary Proof Systems.
161-175
Electronic Edition (link) BibTeX
- Nick Bezhanishvili, Balder ten Cate:
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators.
177-197
Electronic Edition (link) BibTeX
- Morteza Moniri:
An Independence Result for Intuitionistic Bounded Arithmetic.
199-204
Electronic Edition (link) BibTeX
- Petr Savický, Roberto Cignoli, Francesc Esteva, Lluis Godo, Carles Noguera:
On Product Logic with Truth-constants.
205-225
Electronic Edition (link) BibTeX
- Jorge García Duque, Martín López Nores, José J. Pazos Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Yolanda Blanco-Fernández, Manuel Ramos Cabrer:
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
227-255
Electronic Edition (link) BibTeX
- Zoran Ognjanovic:
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity.
257-285
Electronic Edition (link) BibTeX
- Riccardo Pucella:
Deductive Algorithmic Knowledge.
287-309
Electronic Edition (link) BibTeX
Volume 16,
Number 3,
June 2006
Volume 16,
Number 4,
August 2006
Volume 16,
Number 5,
October 2006
Special Issue:
Computer Science Applications of Modal Logic
Volume 16,
Number 6,
December 2006
Original Articles
- Daniel Gâinâ, Andrei Popescu:
An Institution-independent Generalization of Tarski's Elementary Chain Theorem.
713-735
Electronic Edition (link) BibTeX
- Thomas Bolander, Torben Braüner:
Tableau-based Decision Procedures for Hybrid Logic.
737-763
Electronic Edition (link) BibTeX
- Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge:
ATL Satisfiability is Indeed EXPTIME-complete.
765-787
Electronic Edition (link) BibTeX
- Wendy MacCaull, Ewa Orlowska:
A Logic of Type Relations and its Applications to Relational Databases.
789-815
Electronic Edition (link) BibTeX
- Argimiro Arratia, Carlos E. Ortiz:
Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets.
817-840
Electronic Edition (link) BibTeX
- Raymond Turner:
Computability in Specification.
841-865
Electronic Edition (link) BibTeX
- Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías:
Logics with Common Weak Completions.
867-890
Electronic Edition (link) BibTeX
- Ernest Davis:
The Expressivity of Quantifying over Regions.
891-916
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:13:05 2009
by Michael Ley (ley@uni-trier.de)
