Follow
Andrew Tedder
Andrew Tedder
Institute Vienna Circle, University of Vienna
Verified email at cs.cas.cz - Homepage
Title
Cited by
Cited by
Year
Axioms for finite collapse models of arithmetic
A Tedder
The Review of Symbolic Logic 8 (3), 529-539, 2015
152015
Neighbourhood semantics for quantified relevant logics
A Tedder, N Ferenz
Journal of Philosophical Logic 51 (3), 457-484, 2022
92022
Information Flow in Logics in the Vicinity of BB
A Tedder
Australasian Journal of Logic 18 (1), 1-24, 2021
72021
Currying omnipotence: A reply to Beall and Cotnoir
A Tedder, G Badia
Thought: A Journal of Philosophy 7 (2), 119-121, 2018
72018
Neighbourhood semantics for modal relevant logics
N Ferenz, A Tedder
Journal of Philosophical Logic 52 (1), 145-181, 2023
52023
Channel composition and ternary relation semantics
A Tedder
IFCoLog J. Logics Appl 4 (3), 731-753, 2017
52017
Relevant epistemic logic with public announcements and common knowledge
V PunČochář, I Sedlár, A Tedder
Journal of Logic and Computation 33 (2), 436-461, 2023
42023
Consistent Theories in Inconsistent Logics
F Mangraviti, A Tedder
Journal of Philosophical Logic, 1-16, 2023
42023
Consistency and Decidability in Some Paraconsistent Arithmetics
A Tedder
The Australasian Journal of Logic 18 (5), 473-502, 2021
42021
Paraconsistent logic for dialethic arithmetics
AJ Tedder
42014
Relevant propositional dynamic logic
A Tedder, M Bilková
Synthese 200 (3), 235, 2022
32022
A Note on R-Mingle and the Danger of Safety
A Tedder
The Australasian Journal of Logic 19 (1), 2022
32022
Incorporating the relation into the language? A survey of approaches in relating logic
L Estrada-González, A Giordani, T Jarmużek, M Klonowski, I Sedlár, ...
Logic and Logical Philosophy 30 (4), 711-739, 2021
32021
Disjunction and negation in information based semantics
V Punčochář, A Tedder
Logic, Language, Information, and Computation: 27th International Workshop …, 2021
32021
Situated epistemic updates
I Sedlár, A Tedder
Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021
32021
Relevant consequence relations: An invitation
G Badia, L Běhounek, P Cintula, A Tedder
The Review of Symbolic Logic, 1-31, 2022
22022
First degree entailment with group attitudes and information updates
I Sedlár, V Punčochář, A Tedder
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019 …, 2019
22019
Situations, propositions, and information states
A Tedder
12023
Lambek calculus with conjugates
I Sedlár, A Tedder
Studia Logica 109 (3), 447-470, 2021
12021
On elimination of quantifiers in some non‐classical mathematical theories
G Badia, A Tedder
Mathematical Logic Quarterly 64 (3), 140-154, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20