A Possible Modal Formulation of Comprehension Scheme.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 461, doi. 10.1002/malq.19870330511
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1987 AND VI 33 AND IP 5
Results: 11
1
2
Sequential Calculus for a First Order Infinitary Temporal Logic.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 423, doi. 10.1002/malq.19870330506
- By:
- Publication type:
- Article
3
A Note on a Subsystem Of Intuitionistic Logic with Constant Domains.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 385, doi. 10.1002/malq.19870330502
- By:
- Publication type:
- Article
4
A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 453, doi. 10.1002/malq.19870330509
- By:
- Publication type:
- Article
5
A Connection Between Blum Speedable Sets and Gödel's Speed-Up Theorem.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 417, doi. 10.1002/malq.19870330505
- By:
- Publication type:
- Article
6
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. fmi, doi. 10.1002/malq.19870330501
- Publication type:
- Article
7
Strong Semantical Characterization for Nondeterministic Programs.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 407, doi. 10.1002/malq.19870330504
- By:
- Publication type:
- Article
8
Semantic Completeness of Free-Variable Theories.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 441, doi. 10.1002/malq.19870330508
- By:
- Publication type:
- Article
9
Parallel Theories and Routine Revision in First-Order Logic.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 457, doi. 10.1002/malq.19870330510
- By:
- Publication type:
- Article
10
Weak Logics with Strict Implication.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 389, doi. 10.1002/malq.19870330503
- By:
- Publication type:
- Article
11
Proof Theories for Semilattice Logics.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 433, doi. 10.1002/malq.19870330507
- By:
- Publication type:
- Article