Newsgroups: comp.object.logic,sci.logic,sci.philosophy.tech
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!sun4nl!cs.vu.nl!roelw
From: roelw@cs.vu.nl (Roel J Wieringa)
Subject: Re: logic of change
Message-ID: <CvrCzI.69B@cs.vu.nl>
Sender: news@cs.vu.nl
Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
References: <KIFER.94Sep1163522@sbkifer.cs.sunysb.edu>
Date: Wed, 7 Sep 1994 11:52:30 GMT
Lines: 91
Xref: glinda.oz.cs.cmu.edu comp.object.logic:238 sci.logic:8135 sci.philosophy.tech:15738

kifer@sbkifer.cs.sunysb.edu (Michael Kifer) writes:
: 
: In article <343p0h$mjm@scapa.cs.ualberta.ca> vladimir@cs.ualberta.ca (Vladimir Alexiev) writes:
: > jand@cs.kuleuven.ac.be (Jan Dockx) writes:
: > >I need a logic, preferably based on FOL, but not necesseraly,
: > >that provides a system for describing the fact that the
: > >result of the evaluation of a clause depends on the time
: > >of evaluation. In other words, the set of facts and axioms
: > >can change over time.
: > 
.....
: The most promising one is Transaction Logic, but, of course, I am prejudiced.
: 
: A complete description is in
: /anonymous@cs.sunysb.edu:/pub/TechReports/kifer/transaction-logic.ps.Z
: 
: but there is a number of shorter published expositions:
: 
: @article{ trans.tcs94 ,
: author = "  A.J. Bonner and M. Kifer",
: title = "An Overview of Transaction Logic ",
: journal =  "Theoretical Computer Science",
: volume = 133 ,
: month = " October ",
: year =  1994
: }


An alternative is Paul Spruit's Dynamic Database Logic, which is based
on dynamic logic.


@phdthesis{Spruit94,
author = {P.A. Spruit},
title = {Logics of Database Updates},
year = 1994,
school = {Faculty of Mathematics and Computer Science, Vrije
		  Universiteit, Amsterdam}}


@inproceedings{Spruit91c,
	author = {P.A. Spruit and J.-J.Ch. Meyer and R.J. Wieringa},
	title = {Declarative Semantics of Passive and Active Updates in Logic Databases},
	booktitle = {Proceedings, 3rd International Workshop on Foundations of Models and Languages for Data and Objects},
	year = 1991,
	pages = {37--46},
	month = {September},
	address = {Aigen, Austria}}

@inproceedings{Spruit92b,
	author = {P.A. Spruit and R.J. Wieringa and J.-J.Ch. Meyer },
	title = {Dynamic Database Logic: The First-Order Case},
	year = 1993,
	booktitle = {Modelling Database Dynamics},
	editor = {U.W. Lipeck and B. Thalheim},
	pages = {103--120},
	publisher = {Springer}}



@techreport{Spruit92a,
	author = {P.A. Spruit and R.J. Wieringa and J.-J.Ch. Meyer},
	title = {Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases},
	year = 1992,
	number = {IR-294},
	month = {June},
	institution = {Department of Mathematics and Computer Science, Vrije Universiteit},
	address = {Amsterdam},
	note = {To be published, {\it Journal of Logic and Computation}}}


@unpublished{Spruit94a,
author = {P.A. Spruit and R.J. Wieringa and J.-J.Ch. Meyer},
title = {First-order dynamic database logic},
address = {Amsterdam},
	institution = {Faculty of Mathematics and Computer Science,
		  Vrije Universiteit},
note = {Submitted for publication}}


Some of these are available from 
/anonymous@ftp.cs.vu.nl:/pub/roelw
Look in the file INDEX.bib to find the table of contents of this
directory. I am happy to send Paul's Ph.D. thesis about DDL by
ordinary mail if you are interested.


Regards,

Roel Wieringa

