Found: 4
Select item for more details and to access through your institution.
On Modal μ -Calculus and Gödel-Löb Logic.
- Published in:
- Studia Logica, 2009, v. 91, n. 2, p. 145, doi. 10.1007/s11225-009-9170-9
- By:
- Publication type:
- Article
Canonical Extensions and Relational Representations of Lattices with Negation.
- Published in:
- Studia Logica, 2009, v. 91, n. 2, p. 171, doi. 10.1007/s11225-009-9171-8
- By:
- Publication type:
- Article
Proof Systems Combining Classical and Paraconsistent Negations.
- Published in:
- Studia Logica, 2009, v. 91, n. 2, p. 217, doi. 10.1007/s11225-009-9173-6
- By:
- Publication type:
- Article
Proof Systems for Reasoning about Computation Errors.
- Published in:
- Studia Logica, 2009, v. 91, n. 2, p. 273, doi. 10.1007/s11225-009-9175-4
- By:
- Publication type:
- Article