论文信息 - An Update on “Might”

An Update on “Might”

This paper is on the update semantics for “might” of Veltman (1996). Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.

[1] 金沢誠. Completeness and decidability of the mixed style of inference with composition , 1993 .

[2] Frank Veltman,et al. Defaults in update semantics , 1996, J. Philos. Log..

[3] Willem Groeneveld,et al. Logical Investigations into Dynamic Semantics , 1995 .

[4] Jaap van der Does. Cut Might Cautiously , 1995, Log. J. IGPL.

[5] Johan van Benthem,et al. Language in action , 1991, J. Philos. Log..

[6] Jan van Eijck,et al. Reasoning about update logic , 1993, J. Philos. Log..

[7] Jeroen Groenendijk,et al. Dynamic predicate logic , 1991 .

[8] F.J.M.M. Veltman,et al. Inference systems for update semantics , 1994 .

[9] Johan van Benthem. Logic and the flow of information , 1995 .