[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

LichtensteinPnueli00

  1. Orna Lichtenstein and Amir Pnueli
  2. Propositional Temporal Logics: Decidability and Completeness
  3. Logic Journal of the IGPL V8n1(Jan 2000)pp55-85 [ #Lichtenstein ]
  4. =THEORY FORMAL LOGIC TIME PTL
  5. =HISTORY 20 years
  6. axioms etc complete and sound relative model, decision procedure using semantic tableau.
  7. time with a beginning. Basic modal operators: Next, Until, Weak_previous, Since. Defines half-a-dozen others. [ PTL in logic_9_Modalities ]

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]