Journal of Applied Logic, Volume 9

Volume 9, Number 1, March 2011

• Ofer Arieli, Anna Zamansky:
  Simplified forms of computerized reasoning with distance semantics. 1-22
  
• Osman Hasan, Sofiène Tahar:
  Reasoning about conditional probabilities in a higher-order-logic theorem prover. 23-40
  
• Osman Hasan, Jigar Patel, Sofiène Tahar:
  Formal reliability analysis of combinational circuits using theorem proving. 41-60
  
• Christian Straßer:
  A deontic logic framework allowing for factual detachment. 61-80
  

Volume 9, Number 2, June 2011

• Ron van der Meyden, Leon van der Torre:
  Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008). 81-82
  

• Nuel Belnap:
  Prolegomenon to norms in branching space-times. 83-94
  
• Davide Grossi:
  Norms as ascriptions of violations: An analysis in modal logic. 95-112
  
• Lars Lindahl, Jan Odelstad:
  Stratification of normative systems with intermediaries. 113-136
  
• Jan Broersen:
  Deontic epistemic stit logic distinguishing modes of mens rea. 137-152
  
• Paul McNamara:
  Praise, blame, obligation, and DWE: Toward a framework for classical supererogation and kin. 153-170
  

Volume 9, Number 3, September 2011

• Paolo Gentilini:
  Proof theory and mathematical meaning of paraconsistent C-systems. 171-202
  
• Jan A. Bergstra, C. A. Middelburg:
  Inversive meadows and divisive meadows. 203-220
  

Volume 9, Number 4, December 2011

• Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar:
  Special issue on logics for intelligent agents and multi-agent systems. 221-222
  

• Michael Fisher:
  Agent deliberation in an executable temporal framework. 223-238
  
• Chuchang Liu, Angela Billard, Benjamin Long:
  An abstract dynamic access control architecture. 239-249
  
• Jeff Blee, David Billington, Guido Governatori, Abdul Sattar:
  Levels of modality for BDI Logic. 250-273
  
• Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre:
  Time and defeasibility in FIPA ACL semantics. 274-288
  
• Ji Ma, Mehmet A. Orgun, Kamel Adi:
  An analytic tableau calculus for a temporalised belief logic. 289-304
  

Last update Mon May 20 01:08:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page