Found: 6
Select item for more details and to access through your institution.
Preface.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 3, doi. 10.1023/a:1020534210459
- By:
- Publication type:
- Article
Subjective Situations and Logical Omniscience.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 7, doi. 10.1023/a:1020513024572
- By:
- Publication type:
- Article
Simultaneous Rigid Sorted Unification for Tableaux.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 31, doi. 10.1023/a:1020526008642
- By:
- Publication type:
- Article
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 61, doi. 10.1023/a:1020578025481
- By:
- Publication type:
- Article
Satisfiability Testing for Boolean Formulas Using Δ-trees.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 85, doi. 10.1023/a:1020530109551
- By:
- Publication type:
- Article
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 113, doi. 10.1023/a:1020582126389
- By:
- Publication type:
- Article