Works matching IS 00393215 AND DT 1994 AND VI 53 AND IP 2
Results: 9
Non-axiomatizability of Grice's implicature.
- Published in:
- Studia Logica, 1994, v. 53, n. 2, p. 343, doi. 10.1007/BF01054716
- By:
- Publication type:
- Article
Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems.
- Published in:
- Studia Logica, 1994, v. 53, n. 2, p. 325, doi. 10.1007/BF01054715
- By:
- Publication type:
- Article
Refutation systems in modal logic.
- Published in:
- Studia Logica, 1994, v. 53, n. 2, p. 299, doi. 10.1007/BF01054714
- By:
- Publication type:
- Article
Decidability of stit theory with a single agent and Refref Equivalence.
- Published in:
- Studia Logica, 1994, v. 53, n. 2, p. 259, doi. 10.1007/BF01054713
- By:
- Publication type:
- Article
A gentzen system for conditional logic.
- Published in:
- Studia Logica, 1994, v. 53, n. 2, p. 243, doi. 10.1007/BF01054712
- By:
- Publication type:
- Article
What is the upper part of the lattice of bimodal logics?
- Published in:
- Studia Logica, 1994, v. 53, n. 2, p. 235, doi. 10.1007/BF01054711
- By:
- Publication type:
- Article
On a property of BCK-identities.
- Published in:
- Studia Logica, 1994, v. 53, n. 2, p. 227, doi. 10.1007/BF01054710
- By:
- Publication type:
- Article
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.
- Published in:
- Studia Logica, 1994, v. 53, n. 2, p. 203, doi. 10.1007/BF01054709
- By:
- Publication type:
- Article
Nonmonotonic reasoning: from finitary relations to infinitary inference operations.
- Published in:
- Studia Logica, 1994, v. 53, n. 2, p. 161, doi. 10.1007/BF01054708
- By:
- Publication type:
- Article