Works matching IS 00393215 AND DT 1980 AND VI 39 AND IP 2/3
Results: 13
Application of modal logic to programming.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 257, doi. 10.1007/BF00370324
- By:
- Publication type:
- Article
λ-Normal forms in an intensional logic for English.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 311, doi. 10.1007/BF00370327
- By:
- Publication type:
- Article
Interpolation in loop-free logic.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 297, doi. 10.1007/BF00370326
- By:
- Publication type:
- Article
Applying modal logic.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 275, doi. 10.1007/BF00370325
- By:
- Publication type:
- Article
A modal sequent calculus for a fragment of arithmetic.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 245, doi. 10.1007/BF00370323
- By:
- Publication type:
- Article
Omega-consistency and the diamond.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 237, doi. 10.1007/BF00370322
- By:
- Publication type:
- Article
Diodorean modality in Minkowski spacetime.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 219, doi. 10.1007/BF00370321
- By:
- Publication type:
- Article
Decidability for branching time.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 203, doi. 10.1007/BF00370320
- By:
- Publication type:
- Article
First-order modal theories.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 159, doi. 10.1007/BF00370319
- By:
- Publication type:
- Article
Quantifiers as modal operators.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 145, doi. 10.1007/BF00370318
- By:
- Publication type:
- Article
Independent propositional modal logics.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 143, doi. 10.1007/BF00370317
- By:
- Publication type:
- Article
Some kinds of modal completeness.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 125, doi. 10.1007/BF00370316
- By:
- Publication type:
- Article
Pretabular varieties of modal algebras.
- Published in:
- Studia Logica, 1980, v. 39, n. 2/3, p. 101, doi. 10.1007/BF00370315
- By:
- Publication type:
- Article