Found: 6
Select item for more details and to access through your institution.
A Sequent Calculus for a Negative Free Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 3, p. 331, doi. 10.1007/s11225-010-9293-z
- By:
- Publication type:
- Article
On the Proof-Theory of two Formalisations of Modal First-Order Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 3, p. 349, doi. 10.1007/s11225-010-9294-y
- By:
- Publication type:
- Article
Theories of Truth without Standard Models and Yablo's Sequences.
- Published in:
- Studia Logica, 2010, v. 96, n. 3, p. 375, doi. 10.1007/s11225-010-9289-8
- By:
- Publication type:
- Article
Completeness of a Branching-Time Logic with Possible Choices.
- Published in:
- Studia Logica, 2010, v. 96, n. 3, p. 393, doi. 10.1007/s11225-010-9291-1
- By:
- Publication type:
- Article
Congruences on a Balanced Pseudocomplemented Ockham Algebra whose Quotient Algebras are Boolean.
- Published in:
- Studia Logica, 2010, v. 96, n. 3, p. 421, doi. 10.1007/s11225-010-9292-0
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- 2010
- By:
- Publication type:
- Book Review