Sciweavers

Jini is an infrastructure built on top of the mobile code facilities of the Java programming language enabling clients and services to spontaneously engage in arbitrary usage scena...

Peer Hasselmeyer, Roger Kehr, Marco Voß

claim paper

Read More »

161

click to vote

CSL
1995
Springer

163views Automated Reasoning» more CSL 1995»

Improved Decision Procedures for the Modal Logics K, T, and S4

15 years 7 months ago

Download www-ls.informatik.uni-tuebingen.de

We propose so called contraction free sequent calculi for the three prominent modal logics K, T, and S4. Deduction search in these calculi is shown to provide more eﬃcient decisi...

Jörg Hudelmaier

claim paper

Read More »

100

click to vote

CSL
1995
Springer

93views Automated Reasoning» more CSL 1995»

On the Modal Logic K Plus Theories

15 years 7 months ago