Search Sciweavers | Sciweavers

1341 search results - page 6 / 269

» Dynamic Testimonial Logic

114

click to vote

JOLLI
2002

120views more JOLLI 2002»

The Donkey and the Monoid. Dynamic Semantics with Control Elements

15 years 2 months ago

Download igitur-archive.library.uu.nl

Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...

Albert Visser

claim paper

Read More »

click to vote

CORR
2002
Springer

77views Education» more CORR 2002»

A Dynamic Approach to Characterizing Termination of General Logic Programs

15 years 2 months ago

Download www.cse.ust.hk

Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S....

claim paper

Read More »

click to vote

APAL
1999

74views more APAL 1999»

Dynamic Linear Time Temporal Logic

15 years 2 months ago

Download eref.uqu.edu.sa

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

click to vote

JOLLI
1998

99views more JOLLI 1998»

Contexts in Dynamic Predicate Logic

15 years 2 months ago

Download igitur-archive.library.uu.nl

Albert Visser

claim paper

Read More »

click to vote

LOGCOM
2010

80views more LOGCOM 2010»

Differential-algebraic Dynamic Logic for Differential-algebraic Programs

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers