Investigations on Fragments of First Order Branching Temporal Logic.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 51, doi. 10.1002/1521-3870(200201)48:1<51::AID-MALQ51>3.0.CO;2-S
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2002 AND VI 48 AND IP 1
Results: 15
1
2
Factors of Functions, AC and Recursive Analogues.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 73, doi. 10.1002/1521-3870(200201)48:1<73::AID-MALQ73>3.0.CO;2-C
- By:
- Publication type:
- Article
3
On the Slowly Well Orderedness of ℇ<sub>o</sub>.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 125, doi. 10.1002/1521-3870(200201)48:1<125::AID-MALQ125>3.0.CO;2-N
- By:
- Publication type:
- Article
4
A nonlow<sub>2</sub> R. E. Degree with the Extension of Embeddings Properties of a low<sub>2</sub> Degree.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 131, doi. 10.1002/1521-3870(200201)48:1<131::AID-MALQ131>3.0.CO;2-Z
- By:
- Publication type:
- Article
5
Update Procedures and the 1-Consistency of Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 3, doi. 10.1002/1521-3870(200201)48:1<3::AID-MALQ3>3.0.CO;2-6
- By:
- Publication type:
- Article
6
Incompleteness and Fixed Points.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 15, doi. 10.1002/1521-3870(200201)48:1<15::AID-MALQ15>3.0.CO;2-C
- By:
- Publication type:
- Article
7
Invariant Logics.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 29, doi. 10.1002/1521-3870(200201)48:1<29::AID-MALQ29>3.0.CO;2-N
- By:
- Publication type:
- Article
8
Weak Arithmetics and Kripke Models.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 157, doi. 10.1002/1521-3870(200201)48:1<157::AID-MALQ157>3.0.CO;2-3
- By:
- Publication type:
- Article
9
Finite Models of Some Substructural Logics.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 63, doi. 10.1002/1521-3870(200201)48:1<63::AID-MALQ63>3.0.CO;2-E
- By:
- Publication type:
- Article
10
Dual-Context Sequent Calculus and Strict Implication.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 87, doi. 10.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-N
- By:
- Publication type:
- Article
11
Plain Bases for Classes of Primitive Recursive Functions.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 93, doi. 10.1002/1521-3870(200201)48:1<93::AID-MALQ93>3.0.CO;2-8
- By:
- Publication type:
- Article
12
Heterologicality and Incompleteness.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 105
- By:
- Publication type:
- Article
13
Omniscience Principles and Functions of Bounded Variation.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 111, doi. 10.1002/1521-3870(200201)48:1<111::AID-MALQ111>3.0.CO;2-6
- By:
- Publication type:
- Article
14
The Computational Power of ℳ<sup>ω</sup>.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 117, doi. 10.1002/1521-3870(200201)48:1<117::AID-MALQ117>3.0.CO;2-J
- By:
- Publication type:
- Article
15
Comparing First Order Theories of Modules over Group Rings.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 147, doi. 10.1002/1521-3870(200201)48:1<147::AID-MALQ147>3.0.CO;2-7
- By:
- Publication type:
- Article