Volume 2, Number 1, 1992
Volume 2, Number 2, 1992
Last update Mon May 20 17:57:51 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Stephan Merz:
Decidability and incompleteness results for first-order temporal logics of linear time.
- Bernd-Holger Schlingloff:
Expressive completeness of temporal logic of trees.
- Alfredo Burrieza, Inman P. de Guzmán:
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time.
- Marcelo Finger:
Handling database updates in two-dimensional temporal logic.
- Gerson Zaverucha:
Relevant logic as a basis for paraconsistent epistemic logics.
- Chris Brink:
A comment on relevant truth table logic.