16. WoLLIC 2009: Tokyo, Japan

Tutorials and Invited Talks

• Arnold Beckmann:
  A Characterisation of Definable NP Search Problems in Peano Arithmetic. 1-12
  
• Carlos Caleiro, Ricardo Gonçalves:
  Algebraic Valuations as Behavioral Logical Matrices. 13-25
  
• Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
  Query Answering in Description Logics: The Knots Approach. 26-36
  
• Carsten Lutz, Frank Wolter:
  Mathematical Logic for Life Science Ontologies. 37-47
  
• Sylvain Salvati:
  Recognizability in the Simply Typed Lambda-Calculus. 48-60
  
• Taisuke Sato:
  Logic-Based Probabilistic Modeling. 61-71
  

Contributed Papers

• Majid Alizadeh:
  Completions of Basic Algebras. 72-83
  
• Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
  Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. 84-98
  
• Gianluca Amato, Francesca Scozzari:
  Observational Completeness on Abstract Interpretation. 99-112
  
• Matthias Baaz, Agata Ciabattoni, Norbert Preining:
  SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. 113-123
  
• Alexandru Baltag, Sonja Smets:
  Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. 124-139
  
• Francesco Belardinelli, Alessio Lomuscio:
  First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. 140-154
  
• Hubie Chen, Omer Giménez:
  On-the-Fly Macros. 155-169
  
• Henning Christiansen, Verónica Dahl:
  Abductive Logic Grammars. 170-181
  
• Philippe de Groote, Sylvain Pogodalla, Carl Pollard:
  On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. 182-196
  
• Bernhard Heinemann:
  Observational Effort and Formally Open Mappings. 197-208
  
• Hugo Herbelin, Gyesik Lee:
  Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. 209-217
  
• Kerstin Bauer, Raffaella Gentilini, Klaus Schneider:
  Property Driven Three-Valued Model Checking on Hybrid Automata. 218-229
  
• Juha Kontinen, Ville Nurmi:
  Team Logic and Second-Order Logic. 230-241
  
• Alain Lecomte, Myriam Quatrini:
  Ludics and Its Applications to Natural Language Semantics. 242-255
  
• Sebastian Link:
  Spoilt for Choice: Full First-Order Hierarchical Decompositions. 256-267
  
• Carlos Caleiro, João Marcos:
  Classic-Like Analytic Tableaux for Finite-Valued Logics. 268-280
  
• Yoshihiro Maruyama:
  A Duality for Algebras of Lattice-Valued Modal Logic. 281-295
  
• Sara Miner More, Pavel Naumov:
  An Independence Relation for Sets of Secrets. 296-304
  
• Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda:
  Expressing Extension-Based Semantics Based on Stratified Minimal Models. 305-319
  
• Linda Postniece:
  Deep Inference in Bi-intuitionistic Logic. 320-334
  
• Cristian Prisacariu, Gerardo Schneider:
  : An Action-Based Logic for Reasoning about Contracts. 335-349
  
• Benjamin Rossman:
  Ehrenfeucht-Fraïssé Games on Random Structures. 350-364
  
• Katsuhiko Sano:
  Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. 365-378
  
• Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry:
  The Arrow Calculus as a Quantum Programming Language. 379-393
  
• Ren-June Wang:
  Knowledge, Time, and Logical Omniscience. 394-407