Connecting you to content on EBSCOhost

Works matching IS 13670751 AND DT 2008 AND VI 16 AND IP 6

Results: 6

1

Acknowledgements.

Published in:: Logic Journal of the IGPL, 2008, v. 16, n. 6, p. 605, doi. 10.1093/jigpal/jzn027
Publication type:: Article

2

On a Simple 3-valued Modal Language and a 3-valued Logic of ‘not-fully-justified’ Belief.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 6, p. 591, doi. 10.1093/jigpal/jzn024

By:

Koutras, Costas D.;
Nomikos, Christos;
Peppas, Pavlos

Publication type:

Article

3

A Sound and Complete Deductive System for ctl* Verification*.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 6, p. 499, doi. 10.1093/jigpal/jzn018

By:

Gabbay, Dov M.;
Pnueli, Amir

Publication type:

Article

4

Elementary Amalgamation and Joint Embedding Property for Intermediate Logics.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 6, p. 561, doi. 10.1093/jigpal/jzn022

By:

Bagheri, Seyed Mohammad;
Pourmahdian, Massoud

Publication type:

Article

5

The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 6, p. 585, doi. 10.1093/jigpal/jzn023

By:

Oliveira, Igor Carboni;
Carnielli, Walter

Publication type:

Article

6

Cut-Based Abduction.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 6, p. 537, doi. 10.1093/jigpal/jzn020

By:

D’Agostino, Marcello;
Finger, Marcelo;
Gabbay, Dov

Publication type:

Article