Research

My research falls into a few broad interests:

• Semantics of Relevant and Substructural logics

• First-Order Non-Classical Logics

• Formalised mathematical theories in Non-Classical logics; Inconsistent mathematics 

• Non-Classical Modal Logics; especially Non-Classical Epistemic Logic

• Topics in the intersection of Logic and Theology

Journal Articles

1. (Forthcoming) Andrew Tedder. An Algebraic View of the Mares-Goldblatt Semantics. Journal of Philosophical Logic.

2. (Forthcoming) Guillermo Badia, Libor Běhounek, Petr Cintula, and Andrew Tedder. Relevant Consequence Relations: An Invitation. Review of Symbolic Logic. 

3. (2023) Dustin Goossens and Andrew Tedder. No Cause for Collapse. Asian Journal of Philosophy,Volume 2, Article 37. Special Issue: Themes from Beall, C. Caret, J.J. Joaquin, M. del Rosario Martinez-Ordaz (ed.).

4. (2023) Franci Mangraviti and Andrew Tedder. Consistent Theories in Inconsistent Logics. Journal of Philosophical Logic 52(4):1133--1148.

5. (2023) Andrew Tedder. Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics. Studia Logica 111:321--352.

6. (2023) Igor Sedlár, Vit Punčochář , and Andrew Tedder. Relevant Epistemic Logic with Public Announcements and Common Knowledge. Journal of Logic and Computation 33(2):436--461. 

7. (2023) Nicholas Ferenz and Andrew Tedder. Neighbourhood Semantics for Modal Relevant Logics. Journal of Philosophical Logic.52(1)145--181.

8. (2022) Andrew Tedder and Marta Bilková. Relevant Propositional Dynamic Logic. Synthese, Volume 200, Article 235. 

9. (2022) Andrew Tedder and Nicholas Ferenz. Neighbourhood Semantics for Quantified Relevant Logics. Journal of Philosophical Logic 51(3):457--484.

10. (2022) Guillermo Badia, Petr Cintula, Petr Hájek, and Andrew Tedder.  How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem? Review of Symbolic Logic 15(2):487--504.

11. (2022) Andrew Tedder. A Note on R-Mingle and the Danger of Safety. Australasian Journal of Logic. 19(1):51--58.

12. (2021) Andrew Tedder. On Consistency and Decidability in Some Paraconsistent Arithmetics. Australasian Journal of Logic. 18(5):472--502.

13. (2021) Igor Sedlár and Andrew Tedder. Lambek Calculus with Conjugates. Studia Logica. 109:447--470. 

14. (2021) Andrew Tedder. Information Flow in Logics in the Vicinity of BB. Australasian Journal of Logic. 18(1):1--24. 

15. (2021) Luis Estrada-González, Alessandro Giordani, Tomasz Jarmużek, Mateusz Klonowski, Igor Sedlár, and Andrew Tedder. Incorporating the Relation into the Language? A Survey of Approaches in Relating Logic. Logic and Logical Philosophy 30(4):711–739. Special Issue: Relating Logic and Relating Semantics, T. Jarmużek and F. Paoli (ed.).

16. (2020) Grace Paterson, David Ripley, and Andrew Tedder.  Qua Solution, 0-Qua Has Problems. Journal of Analytic Theology, 7:405-411.

17. (2018) Guillermo Badia and Andrew Tedder. On Elimination of Quantifiers in Some Non-Classical Mathematical Theories, in Mathematical Logic Quarterly v.64, n.3, p.140-154.

18. (2018) Andrew Tedder and Guillermo Badia. Currying Omnipotence. Thought v.7, n.2, p.119-121.

19. (2017) Andrew Tedder Channel Composition and Ternary Relation Semantics, in IFCoLog Journal of Logics and Their Applications, v.4, n. 3, p. 731-753. Special Issue: Proceedings of the Third Workshop, K. Bimbó and J.M. Dunn (ed.).

20. (2017) Andrew Tedder. On Structural Features of the Implication Fragment of Frege's Grundgesetze, in Journal of Philosophical Logic , v. 46, n. 4, p. 443-456.

21. (2015) Andrew Tedder. Axioms for Finite Collapse Models of Arithmetic, in Review of Symbolic Logic, v.8, n.3, p.529-539. 

Chapters in Edited Collections

22. (2022) Andrew Tedder. Situations, Propositions, and Information States. In Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn, ed. K. Bimbó, College Publications, pp. 410--426. 

23. (2021) Igor Sedlár and Andrew Tedder. Situated Epistemic Updates. Logic, Rationality, and Interaction. LORI 2021, S. Ghosh and T. Icard, Springer, pp. 192--200.

24. (2021) Vit Punčochář and Andrew Tedder. Disjunction and Negation in Information Based Semantics. Logic, Language, Information, and Computation. WoLLIC 2021, ed. A. Silva, R. Wassermann, and R. de Queiroz, Springer, pp. 355-371.

25. (2020) Andrew Tedder. A Classical Bimodal Logic with Varying Essences.The Logica Yearbook 2019, ed. I. Sedlár and M. Blicha, College Publications, p. 205-220.

26. (2019) Andrew Tedder and Stewart Shapiro. Making Truth Safe for Intuitionists. Dialetheism and its Applications, ed. A. Rieger and G. Young, Springer, p. 125-153. 

27. (2019) Igor Sedlár ,Vit Punčochář, and Andrew Tedder. First Degree Entailment with Group Attitudes and Information Updates. Proceedings of LORI VII, Springer, p.273-285.

28. (2016) Kent Peacock and Andrew Tedder. “Identity, Haecceity, and the Godzilla Problem”. In “Shut Up”, He explained: Essays in Honour of Peter Schotch, G. Payette (ed.), College Publications, p. 63–78.

Erdös number:     4 [Hájek - Balcar - Nešetřil]

Gödel number:     2131454718115132317201952342943153718