Works matching IS 00393215 AND DT 2022 AND VI 110 AND IP 6
Results: 7
On the Proof Theory of Infinitary Modal Logic.
- Published in:
- Studia Logica, 2022, v. 110, n. 6, p. 1349, doi. 10.1007/s11225-022-09998-x
- By:
- Publication type:
- Article
Natural Deduction Systems for Intuitionistic Logic with Identity.
- Published in:
- Studia Logica, 2022, v. 110, n. 6, p. 1381, doi. 10.1007/s11225-022-09995-0
- By:
- Publication type:
- Article
On Relative Principal Congruences in Term Quasivarieties.
- Published in:
- Studia Logica, 2022, v. 110, n. 6, p. 1465, doi. 10.1007/s11225-022-10011-8
- By:
- Publication type:
- Article
Loop-Check Specification for a Sequent Calculus of Temporal Logic.
- Published in:
- Studia Logica, 2022, v. 110, n. 6, p. 1507, doi. 10.1007/s11225-022-10010-9
- By:
- Publication type:
- Article
Logics of Order and Related Notions.
- Published in:
- Studia Logica, 2022, v. 110, n. 6, p. 1417, doi. 10.1007/s11225-022-10009-2
- By:
- Publication type:
- Article
The G4i Analogue of a G3i Sequent Calculus.
- Published in:
- Studia Logica, 2022, v. 110, n. 6, p. 1493, doi. 10.1007/s11225-022-10008-3
- By:
- Publication type:
- Article
Correction to: A Modal View on Resource-Bounded Propositional Logics.
- Published in:
- 2022
- By:
- Publication type:
- Correction Notice