161 | -- | 175 | Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge. Hybrid Logics with Infinitary Proof Systems |
177 | -- | 197 | Nick Bezhanishvili, Balder ten Cate. Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators |
199 | -- | 204 | Morteza Moniri. An Independence Result for Intuitionistic Bounded Arithmetic |
205 | -- | 225 | Petr Savický, Roberto Cignoli, Francesc Esteva, Lluis Godo, Carles Noguera. On Product Logic with Truth-constants |
227 | -- | 255 | 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 |
257 | -- | 285 | Zoran Ognjanovic. Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity |
287 | -- | 309 | Riccardo Pucella. Deductive Algorithmic Knowledge |