Obituary.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
Works matching IS 00393215 AND DT 2022 AND VI 110 AND IP 3
Results: 9
1
2
Calculi of Epistemic Grounding Based on Prawitz's Theory of Grounds.
- Published in:
- Studia Logica, 2022, v. 110, n. 3, p. 819, doi. 10.1007/s11225-021-09979-6
- By:
- Publication type:
- Article
3
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic.
- Published in:
- 2022
- By:
- Publication type:
- Correction Notice
4
On Cut-Elimination Arguments for Axiomatic Theories of Truth.
- Published in:
- Studia Logica, 2022, v. 110, n. 3, p. 785, doi. 10.1007/s11225-021-09978-7
- By:
- Publication type:
- Article
5
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic.
- Published in:
- Studia Logica, 2022, v. 110, n. 3, p. 717, doi. 10.1007/s11225-021-09975-w
- By:
- Publication type:
- Article
6
Tableaux for Some Modal-Tense Logics Graham Priest's Fashion.
- Published in:
- Studia Logica, 2022, v. 110, n. 3, p. 745, doi. 10.1007/s11225-021-09974-x
- By:
- Publication type:
- Article
7
A Semantics for Hyperintensional Belief Revision Based on Information Bases.
- Published in:
- Studia Logica, 2022, v. 110, n. 3, p. 679, doi. 10.1007/s11225-021-09973-y
- By:
- Publication type:
- Article
8
Two Decision Procedures for da Costa's Cn Logics Based on Restricted Nmatrix Semantics.
- Published in:
- Studia Logica, 2022, v. 110, n. 3, p. 601, doi. 10.1007/s11225-021-09972-z
- By:
- Publication type:
- Article
9
Sequent Calculi for the Propositional Logic of HYPE.
- Published in:
- Studia Logica, 2022, v. 110, n. 3, p. 643, doi. 10.1007/s11225-021-09971-0
- By:
- Publication type:
- Article