Works matching IS 17550203 AND DT 2010 AND VI 3 AND IP 2
Results: 7
THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 2, p. 287, doi. 10.1017/S1755020310000018
- By:
- Publication type:
- Article
A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 2, p. 247, doi. 10.1017/S1755020309990426
- By:
- Publication type:
- Article
SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 2, p. 273, doi. 10.1017/S1755020309990414
- By:
- Publication type:
- Article
THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 2, p. 279, doi. 10.1017/S1755020309990402
- By:
- Publication type:
- Article
AN INTENSIONAL LEIBNIZ SEMANTICS FOR ARISTOTELIAN LOGIC.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 2, p. 262, doi. 10.1017/S1755020309990396
- By:
- Publication type:
- Article
SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 2, p. 228, doi. 10.1017/S1755020309990384
- By:
- Publication type:
- Article
SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 2, p. 175, doi. 10.1017/S175502030999030X
- By:
- Publication type:
- Article