Works matching IS 00393215 AND DT 2011 AND VI 99 AND IP 1-3

Results: 17

Consequence and Interpolation in Łukasiewicz Logic.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 269, doi. 10.1007/s11225-011-9352-0

By:

Mundici, Daniele

Publication type:

Article

Best Unifiers in Transitive Modal Logics.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 321, doi. 10.1007/s11225-011-9354-y

By:

Rybakov, Vladimir

Publication type:

Article

An Algebraic Approach to Canonical Formulas: Modal Case.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 93, doi. 10.1007/s11225-011-9348-9

By:

Bezhanishvili, Guram;
Bezhanishvili, Nick

Publication type:

Article

Logic, Formal Methodology and Semantics in Works of Ryszard Wójcicki.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 7, doi. 10.1007/s11225-011-9344-0

By:

Malinowski, Grzegorz;
Woleński, Jan

Publication type:

Article

A Modal Logic of Metaphor.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 337, doi. 10.1007/s11225-011-9355-x

By:

Segerberg, Krister

Publication type:

Article

Ideal Paraconsistent Logics.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 31, doi. 10.1007/s11225-011-9346-y

By:

Arieli, O.;
Avron, A.;
Zamansky, A.

Publication type:

Article

The Depth of Resolution Proofs.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 349, doi. 10.1007/s11225-011-9356-9

By:

Urquhart, Alasdair

Publication type:

Article

Foreword.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 1, doi. 10.1007/s11225-011-9345-z

By:

Czelakowski, Janusz;
Dziobiak, Wiesław;
Malinowski, Jacek

Publication type:

Article

Possible Worlds in Use.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 229, doi. 10.1007/s11225-011-9350-2

By:

Indrzejczak, Andrzej

Publication type:

Article

Reasoning About Games.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 143, doi. 10.1007/s11225-011-9358-7

By:

Fitting, Melvin

Publication type:

Article

Interpolation and Definability over the Logic Gl.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 249, doi. 10.1007/s11225-011-9351-1

By:

Maksimova, Larisa

Publication type:

Article

Dynamic Logics of Evidence-Based Beliefs.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 61, doi. 10.1007/s11225-011-9347-x

By:

Benthem, J.;
Pacuit, E.

Publication type:

Article

Contextual Deduction Theorems.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 279, doi. 10.1007/s11225-011-9353-z

By:

Raftery, J.

Publication type:

Article

Grishin Algebras and Cover Systems for Classical Bilinear Logic.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 203, doi. 10.1007/s11225-011-9360-0

By:

Goldblatt, Robert

Publication type:

Article

Leibniz-linked Pairs of Deductive Systems.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 171, doi. 10.1007/s11225-011-9359-6

By:

Font, Josep;
Jansana, Ramon

Publication type:

Article

Discrete Dualities for Double Stone Algebras.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 127, doi. 10.1007/s11225-011-9349-8

By:

Düntsch, Ivo;
Orłowska, Ewa

Publication type:

Article

Synchronized Linear-Time Temporal Logic.

Published in:

Studia Logica, 2011, v. 99, n. 1-3, p. 365, doi. 10.1007/s11225-011-9357-8

By:

Wansing, Heinrich;
Kamide, Norihiro

Publication type:

Article