Works matching IS 13670751 AND DT 2005 AND VI 13 AND IP 6

Results: 8

Acknowledgements.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 6, p. 738, doi. 10.1093/jigpal/jzi052

By:

Carnelli, Walter;
Mateus, Paulo;
Sernadas, Amilcar;
Rasga, João;
Schroeder, Lutz;
Baader, Franz;
Areces, Carolos Eduardo

Publication type:

Article

On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 6, p. 717, doi. 10.1093/jigpal/jzi051

By:

Veloso, Paulo A. S.;
Veloso, Sheila R. M.

Publication type:

Article

Formalizing Concurrent Common Knowledge as Product of Modal Logics.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 6, p. 665, doi. 10.1093/jigpal/jzi049

By:

Costa, Vania;
Benevides, Mario

Publication type:

Article

Conferences.

Published in:

2005

By:

de Queiroz, Ruy;
Macintyre, Angus;
Bittencourt, Guilherme

Publication type:

Proceeding

Properties of Intuitionistic Provability and Preservativity Logics.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 6, p. 615, doi. 10.1093/jigpal/jzi047

By:

Iemhoff, Rosalie;
De Jongh, Dick;
Zhou, Chunlai

Publication type:

Article

Editorial.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 6, p. 611, doi. 10.1093/jigpal/jzi046

By:

Carnielli, Walter;
Mateus, Paulo

Publication type:

Article

Data, Schema, Ontology and Logic Integration.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 6, p. 685, doi. 10.1093/jigpal/jzi050

By:

Goguen, Joseph A.

Publication type:

Article

Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 6, p. 637, doi. 10.1093/jigpal/jzi048

By:

Caleiro, Carlos;
Viganò, Luca;
Basin, David

Publication type:

Article