llsec.bib

Martin-Lof1996On-the-Meanings

On the Meanings of the Logical Constants and the Justifications of the Logical Laws
Martin-Löf, P.
  Nordic Journal of Philosophical Logic  1  11--60  (1996)
http://www.hf.uio.no/filosofi/njpl/vol1no1/meaning/meaning.html

Fairtlough1997First-order-Lax

First-order Lax Logic as a Framework for Constraint Logic Programming
Fairtlough, M. and Mendler, M. and Walton, M.
        (1997)

Fairtlough1997Propositional-L

Propositional Lax Logic
Fairtlough, M. and Mendler, M. V.
  Information and Computation  137  1--33  (1997)

Howe2001Proof-search-in

Proof search in Lax Logic
Howe, J. M.
  Mathematical Structures in Computer Science  11  573-588  (2001)

Pfenning2001A-Judgmental-Re

A Judgmental Reconstruction of Modal Logic
Pfenning, F. and Davies, R.
  Mathematical Structures in Computer Science  11  511--540  (2001)

Hoek2002Epistemic-logic

Epistemic logic: A survey
van der Hoek, W. and Verbrugge, R.
  Game Theory and Applications  8  53--94  (2002)

Watkins2002A-Concurrent-Lo

A Concurrent Logical Framework {I}: Judgments and Properties
Watkins, K. and Cervesato, I. and Pfenning, F. and Walker, D.
        (2002)

Rues2003Introducing-Cyb

Introducing {C}yberlogic
Rueß, H. and Shankar, N.
Proceedings of the 3rd Annual High Confidence Software and Systems Conference        (2003)

Chang2003A-Judgmental-An

A Judgmental Analysis of Linear Logic
Chang, B. E. and Chaudhuri, K. and Pfenning, F.
        (2003)
http://www.cs.cmu.edu/~fp/papers/jill03.pdf