Works matching IS 13670751 AND DT 2015 AND VI 23 AND IP 4

Results: 9

Meet-completions and ordered domain algebras.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 584, doi. 10.1093/jigpal/jzv018

By:

EGROT, R.;
HIRSCH, R.

Publication type:

Article

Logics Modulo Theories: a logical framework for multi-agent systems.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 553, doi. 10.1093/jigpal/jzv002

By:

PEREZ CRUZ, LITO;
NEWSOME CROSSLEY, JOHN

Publication type:

Article

First-order aspects of tree paths.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 688, doi. 10.1093/jigpal/jzv026

By:

KELLERMAN, RUAAN

Publication type:

Article

Some properties of maximal sets.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 628, doi. 10.1093/jigpal/jzv023

By:

OMANADZE, ROLAND SH.;
CHITAIA, IRAKLI O.

Publication type:

Article

Relation-changing modal operators.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 601, doi. 10.1093/jigpal/jzv020

By:

ARECES, CARLOS;
FERVARI, RAUL;
HOFFMANN, GUILLAUME

Publication type:

Article

How to make up one's mind.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 705, doi. 10.1093/jigpal/jzv019

By:

LI ZHANG;
HANSSON, SVEN OVE

Publication type:

Article

First steps towards probabilistic justification logic.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 662, doi. 10.1093/jigpal/jzv025

By:

KOKKINIS, IOANNIS;
MAKSIMOVIĆ, PETAR;
OGNJANOVIĆ, ZORAN;
STUDER, THOMAS

Publication type:

Article

Almost structurally complete infinitary consequence operations extending S4.3.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 640, doi. 10.1093/jigpal/jzv024

By:

DZIK, WOJCIECH;
WOJTYLAK, PIOTR

Publication type:

Article

Some non-classical approaches to the Brandenburger–Keisler paradox.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 533, doi. 10.1093/jigpal/jzv001

By:

BAŞKENT, CAN

Publication type:

Article