---
title: "Phonological Processes as Modal Transductions — Yolyan 2026"
description: "The paper offers a modal-logic view of phonology, grounded in the Rational Hypothesis: phonological maps in natural language belong to the rational…"
authors: ["Tatevik Yolyan", "Jesse Comer"]
year: 2026
venue: "Proceedings of the Society for Computation in Linguistics 2026"
source: "https://aclanthology.org/2026.scil-main.51/"
doi: "10.18653/v1/2026.scil-main.51"
licence: "CC BY 4.0 (ACL Anthology)"
licence_url: "https://creativecommons.org/licenses/by/4.0/"
summary_licence: "Elamur Cosmic License"
canonical: "https://research.elamur.ai/free/en/papers/yolyan-2026-phonological-processes-as-modal-transductions/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/yolyan-2026-phonological-processes-as-modal-transductions/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [2026](https://md.research.elamur.ai/free/en/papers/2026/page/8/) / Phonological Processes as Modal Transductions

# Phonological Processes as Modal Transductions

**Authors:** Tatevik Yolyan, Jesse Comer · **Year:** 2026 · **Venue:** Proceedings of the Society for Computation in Linguistics 2026 · **Licence:** [CC BY 4.0 (ACL Anthology)](https://creativecommons.org/licenses/by/4.0/)

**Links:** [Publisher's page](https://aclanthology.org/2026.scil-main.51/) · [PDF](https://aclanthology.org/2026.scil-main.51.pdf) · [DOI 10.18653/v1/2026.scil-main.51](https://doi.org/10.18653/v1/2026.scil-main.51) · [OpenAlex](https://openalex.org/W7166896418)

**Citations:** 0 citations (openalex-snapshot · 2026-10-14)

## Summary
The paper offers a modal-logic view of phonology, grounded in the Rational Hypothesis: phonological maps in natural language belong to the rational functions, which one-way finite-state transducers compute. The authors examine Boolean Monadic Recursive Schemes (BMRS), a recursive if-then-else formalism already used to model phonological processes. They prove that total BMRS programs define exactly the same unary properties over words as the modal µ-calculus, which is modal logic extended with a fixed-point operator.

The proof works in two directions:
- **µ-calculus to BMRS:** formulas are normalized into a directional, negation-free fragment, then translated compositionally into total BMRS programs.
- **BMRS to µ-calculus:** BMRS is encoded in MSO, and a known result that MSO and the µ-calculus are equivalent over strings closes the loop.

As a corollary, the authors give a fresh demonstration that BMRS interpretations which preserve order characterize precisely the rational functions. Phonological maps can therefore be written as "modal transductions" without variables. The link matters because the automata-theoretic and learning results already known for the µ-calculus may carry over to phonological modeling.

## Key points
- **Main theorem:** total BMRS and the modal µ-calculus are expressively equivalent on words. Each BMRS output predicate has a µ-calculus formula that holds at exactly the same indices.
- **Corollary:** a new proof that order-preserving BMRS transductions characterize the rational functions. This result was originally due to Bhaskar et al. (2020, 2023).
- **Worked examples:**
  - A local vowel nasalization rule, shown as an FST, as BMRS, and as the modal formula N′ = (V ∧ ♢N) ∨ N.
  - Iterative nasal spreading in Warao (Osborn, 1966), used to show how recursion is evaluated as a least fixed point.
- **Construction:** a translation tr maps formulas of the fragment dir-µML_f+ into BMRS rules, with ♢ and ♦ becoming successor and predecessor calls. Totality is proved by induction over strongly connected components.
- **Context:** the work extends Graf (2010), who used modal logic for surface well-formedness constraints, and connects to learning work such as Yolyan (2025a) and ten Cate and Koudijs (2024).

*Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.*

Fields: [Linguistics & languages](https://md.research.elamur.ai/free/en/shelves/linguistics/)

## Cite

The paper itself, not this page. BibTeX from the library's record of the work.

```bibtex
@inproceedings{yolyan2026phonological,
  title = {{Phonological Processes as Modal Transductions}},
  author = {Yolyan, Tatevik and Comer, Jesse},
  booktitle = {Proceedings of the Society for Computation in Linguistics 2026},
  year = {2026},
  doi = {10.18653/v1/2026.scil-main.51},
  url = {https://doi.org/10.18653/v1/2026.scil-main.51}
}
```

- [← previous Phonological Changes in Classical Arabic to Modern Arabic: A Historical Review](https://md.research.elamur.ai/free/en/papers/susiawati-2026-phonological-changes-classical-arabic-modern/)
- [next → Plan-Guided Text Simplification with Extended Contexts](https://md.research.elamur.ai/free/en/papers/mathas-2026-plan-guided-text-simplification-extended/)
- [↑ back to papers of 2026](https://md.research.elamur.ai/free/en/papers/2026/page/8/)

## References

32 references, 0 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet.

1. Marcelo Arenas, Pablo Barceló, and Leonid Libkin. 2011. Regular languages of nested words: fixed points, automata, and synchronization. Theory of Computing Systems, 49(3):639–670. [find](https://scholar.google.com/scholar?q=Marcelo+Arenas%2C+Pablo+Barcel%C3%B3%2C+and+Leonid+Libkin%2E+2011%2E+Regular+languages+of+nested+words%3A+fixed+points%2C+automata%2C+and+synchronization%2E+Theory+of+Computing+Systems%2C+49%283%29%3A639%E2%80%93670%2E)
2. Hans Bekić. 1984. Definable operations in general algebras, and the theory of automata and flowcharts. In C. B. Jones, editor, Programming Languages and Their Definition: H. Bekič (1936–1982), pages 30– 55. Springer Berlin Heidelberg, Berlin, Heidelberg. [find](https://scholar.google.com/scholar?q=Hans+Bekic%CC%81%2E+1984%2E+Definable+operations+in+general+algebras%2C+and+the+theory+of+automata+and+flowcharts%2E+In+C%2E+B%2E+Jones%2C+editor%2C+Programming+Languages+and+Their+Definition%3A+H%2E+Bekic%CC%8C+%281936%E2%80%931982%29%2C+pages)
3. Jean Berstel. 2007. Transductions and Context-Free Languages. Vieweg+Teubner Verlag Wiesbaden. [find](https://scholar.google.com/scholar?q=Jean+Berstel%2E+2007%2E+Transductions+and+Context%2DFree+Languages%2E+Vieweg%2BTeubner+Verlag+Wiesbaden%2E)
4. Siddharth Bhaskar, Jane Chandlee, and Adam Jardine. 2023. Rational functions via recursive schemes. Preprint, arXiv:2302.03074. — [arXiv:2302.03074](https://arxiv.org/abs/2302.03074) [find](https://scholar.google.com/scholar?q=Siddharth+Bhaskar%2C+Jane+Chandlee%2C+and+Adam+Jardine%2E+2023%2E+Rational+functions+via+recursive+schemes%2E+Preprint%2C+arXiv%3A2302%2E03074%2E+%E2%80%94+%5BarXiv%3A2302%2E03074%5D%28https%3A%2F%2Farxiv%2Eorg%2Fabs%2F2302%2E03074%29)
5. Siddharth Bhaskar, Jane Chandlee, Adam Jardine, and Christopher Oakden. 2020. Boolean monadic recursive schemes as a logical characterization of the subsequential functions. In International conference on language and automata theory and applications, pages 157–169. Springer. [find](https://scholar.google.com/scholar?q=Siddharth+Bhaskar%2C+Jane+Chandlee%2C+Adam+Jardine%2C+and+Christopher+Oakden%2E+2020%2E+Boolean+monadic+recursive+schemes+as+a+logical+characterization+of+the+subsequential+functions%2E+In+International+conferenc)
6. Patrick Blackburn, Maarten de Rijke, and Yde Venema. 2001. Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press. [find](https://scholar.google.com/scholar?q=Patrick+Blackburn%2C+Maarten+de+Rijke%2C+and+Yde+Venema%2E+2001%2E+Modal+Logic%2E+Cambridge+Tracts+in+Theoretical+Computer+Science%2E+Cambridge+University+Press%2E)
7. Julian Bradfield and Colin Stirling. 2006. Modal Mu-Calculi, chapter 12. Elsevier. [find](https://scholar.google.com/scholar?q=Julian+Bradfield+and+Colin+Stirling%2E+2006%2E+Modal+Mu%2DCalculi%2C+chapter+12%2E+Elsevier%2E)
8. J. Richard Büchi. 1960. Weak second-order arithmetic and finite automata. Mathematical Logic Quarterly, 6(1-6):66–92. [find](https://scholar.google.com/scholar?q=J%2E+Richard+B%C3%BCchi%2E+1960%2E+Weak+second%2Dorder+arithmetic+and+finite+automata%2E+Mathematical+Logic+Quarterly%2C+6%281%2D6%29%3A66%E2%80%9392%2E)
9. Jane Chandlee. 2014. Strictly Local Phonological Processes. Ph.D. thesis, University of Delaware. [find](https://scholar.google.com/scholar?q=Jane+Chandlee%2E+2014%2E+Strictly+Local+Phonological+Processes%2E+Ph%2ED%2E+thesis%2C+University+of+Delaware%2E)
10. Jane Chandlee and Adam Jardine. 2019. Quantifier-free least fixed point functions for phonology. In Proceedings of the 16th Meeting on the Mathematics of Language (MOL), pages 50–62. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Jane+Chandlee+and+Adam+Jardine%2E+2019%2E+Quantifier%2Dfree+least+fixed+point+functions+for+phonology%2E+In+Proceedings+of+the+16th+Meeting+on+the+Mathematics+of+Language+%28MOL%29%2C+pages+50%E2%80%9362%2E+Association+for+C)
11. Emmanuel Filiot. 2015. Logic-automata connections for transformations. In Indian conference on logic and its applications, pages 30–57. Springer. [find](https://scholar.google.com/scholar?q=Emmanuel+Filiot%2E+2015%2E+Logic%2Dautomata+connections+for+transformations%2E+In+Indian+conference+on+logic+and+its+applications%2C+pages+30%E2%80%9357%2E+Springer%2E)
12. Emmanuel Filiot, Olivier Gauwin, and Nathan Lhote. 2019. Logical and algebraic characterizations of rational transductions. Logical Methods in Computer Science, Volume 15, Issue 4:16. [find](https://scholar.google.com/scholar?q=Emmanuel+Filiot%2C+Olivier+Gauwin%2C+and+Nathan+Lhote%2E+2019%2E+Logical+and+algebraic+characterizations+of+rational+transductions%2E+Logical+Methods+in+Computer+Science%2C+Volume+15%2C+Issue+4%3A16%2E)
13. Thomas Graf. 2010. Logics of phonological reasoning. Master’s thesis, University of California, Los Angeles. [find](https://scholar.google.com/scholar?q=Thomas+Graf%2E+2010%2E+Logics+of+phonological+reasoning%2E+Master%E2%80%99s+thesis%2C+University+of+California%2C+Los+Angeles%2E)
14. Jeffrey Heinz. 2018. The computational nature of phonological generalizations. In Larry M. Hyman and Frans Plank, editors, Phonological Typology, volume 23 of Phonology and Phonetics, pages 126– 195. De Gruyter Mouton, Berlin, Boston. [find](https://scholar.google.com/scholar?q=Jeffrey+Heinz%2E+2018%2E+The+computational+nature+of+phonological+generalizations%2E+In+Larry+M%2E+Hyman+and+Frans+Plank%2C+editors%2C+Phonological+Typology%2C+volume+23+of+Phonology+and+Phonetics%2C+pages+126%E2%80%93+195%2E+)
15. Adam Jardine, Jane Chandlee, Rémi Eyraud, and Jeffrey Heinz. 2014. Very efficient learning of structured classes of subsequential functions from positive data. In The 12th International Conference on Grammatical Inference, volume 34, pages 94–108. [find](https://scholar.google.com/scholar?q=Adam+Jardine%2C+Jane+Chandlee%2C+R%C3%A9mi+Eyraud%2C+and+Jeffrey+Heinz%2E+2014%2E+Very+efficient+learning+of+structured+classes+of+subsequential+functions+from+positive+data%2E+In+The+12th+International+Conference+on+)
16. Douglas Johnson. 1972. Formal aspects of phonological description. De Gruyter. [find](https://scholar.google.com/scholar?q=Douglas+Johnson%2E+1972%2E+Formal+aspects+of+phonological+description%2E+De+Gruyter%2E)
17. Ronald M Kaplan and Martin Kay. 1994. Regular models of phonological rule systems. Computational Linguistics, 20(3):331–378. [find](https://scholar.google.com/scholar?q=Ronald+M+Kaplan+and+Martin+Kay%2E+1994%2E+Regular+models+of+phonological+rule+systems%2E+Computational+Linguistics%2C+20%283%29%3A331%E2%80%93378%2E)
18. Bronisław Knaster. 1928. Un théorème sur les fonctions d’ensembles. Annales de la Société Polonaise de Mathématique, 6:133–134. [find](https://scholar.google.com/scholar?q=Bronis%C5%82aw+Knaster%2E+1928%2E+Un+th%C3%A9or%C3%A8me+sur+les+fonctions+d%E2%80%99ensembles%2E+Annales+de+la+Soci%C3%A9t%C3%A9+Polonaise+de+Math%C3%A9matique%2C+6%3A133%E2%80%93134%2E)
19. Raoul Koudijs. 2022. Learning modal formulas via dualities. Master’s thesis, Universiteit van Amsterdam. [find](https://scholar.google.com/scholar?q=Raoul+Koudijs%2E+2022%2E+Learning+modal+formulas+via+dualities%2E+Master%E2%80%99s+thesis%2C+Universiteit+van+Amsterdam%2E)
20. Dexter Kozen. 1983. Results on the propositional µ-calculus. Theoretical Computer Science, 27(3):333– 354. Special Issue Ninth International Colloquium on Automata, Languages and Programming (ICALP) Aarhus, Summer 1982. [find](https://scholar.google.com/scholar?q=Dexter+Kozen%2E+1983%2E+Results+on+the+propositional+%C2%B5%2Dcalculus%2E+Theoretical+Computer+Science%2C+27%283%29%3A333%E2%80%93+354%2E+Special+Issue+Ninth+International+Colloquium+on+Automata%2C+Languages+and+Programming+%28ICALP%29+A)
21. Jane Chandlee and Adam Jardine. 2021. Computational universals in linguistic theory: Using recursive programs for phonological analysis. Language, 97(3):485–519. [find](https://scholar.google.com/scholar?q=Jane+Chandlee+and+Adam+Jardine%2E+2021%2E+Computational+universals+in+linguistic+theory%3A+Using+recursive+programs+for+phonological+analysis%2E+Language%2C+97%283%29%3A485%E2%80%93519%2E)
22. José Oncina, Pedro García, and Enrique Vidal. 1993. Learning subsequential transducers for pattern recognition interpretation tasks. IEEE Transactions on Pattern Analysis and Machine Intelligence, 15:448–458. [find](https://scholar.google.com/scholar?q=Jos%C3%A9+Oncina%2C+Pedro+Garc%C3%ADa%2C+and+Enrique+Vidal%2E+1993%2E+Learning+subsequential+transducers+for+pattern+recognition+interpretation+tasks%2E+IEEE+Transactions+on+Pattern+Analysis+and+Machine+Intelligence%2C+15%3A)
23. Bruno Courcelle. 1994. Monadic second-order definable graph transductions: a survey. Theoretical Computer Science, 126(1):53–75. [find](https://scholar.google.com/scholar?q=Bruno+Courcelle%2E+1994%2E+Monadic+second%2Dorder+definable+graph+transductions%3A+a+survey%2E+Theoretical+Computer+Science%2C+126%281%29%3A53%E2%80%9375%2E)
24. Henry A. Osborn. 1966. Warao i: Phonology and morphophonemics. International Journal of American Linguistics, 32(2). [find](https://scholar.google.com/scholar?q=Henry+A%2E+Osborn%2E+1966%2E+Warao+i%3A+Phonology+and+morphophonemics%2E+International+Journal+of+American+Linguistics%2C+32%282%29%2E)
25. Bruno Courcelle and Joost Engelfriet. 2012. Monadic second-order transductions. In Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach, chapter 7, pages 505–577. Cambridge University Press. [find](https://scholar.google.com/scholar?q=Bruno+Courcelle+and+Joost+Engelfriet%2E+2012%2E+Monadic+second%2Dorder+transductions%2E+In+Graph+Structure+and+Monadic+Second%2DOrder+Logic%3A+A+Language%2DTheoretic+Approach%2C+chapter+7%2C+pages+505%E2%80%93577%2E+Cambridge+Un)
26. Alfred Tarski. 1955. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5(2):285–309. [find](https://scholar.google.com/scholar?q=Alfred+Tarski%2E+1955%2E+A+lattice%2Dtheoretical+fixpoint+theorem+and+its+applications%2E+Pacific+Journal+of+Mathematics%2C+5%282%29%3A285%E2%80%93309%2E)
27. E. A. Emerson and C. S. Jutla. 1991. Tree automata, mu-calculus and determinacy. In Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, SFCS ’91, page 368–377, USA. IEEE Computer Society. [find](https://scholar.google.com/scholar?q=E%2E+A%2E+Emerson+and+C%2E+S%2E+Jutla%2E+1991%2E+Tree+automata%2C+mu%2Dcalculus+and+determinacy%2E+In+Proceedings+of+the+32nd+Annual+Symposium+on+Foundations+of+Computer+Science%2C+SFCS+%E2%80%9991%2C+page+368%E2%80%93377%2C+USA%2E+IEEE+Compu)
28. Balder ten Cate and Raoul Koudijs. 2024. Characterising modal formulas with examples. ACM Transactions on Computational Logic, 25(2). [find](https://scholar.google.com/scholar?q=Balder+ten+Cate+and+Raoul+Koudijs%2E+2024%2E+Characterising+modal+formulas+with+examples%2E+ACM+Transactions+on+Computational+Logic%2C+25%282%29%2E)
29. Thomas Wilke. 2001. Alternating tree automata, parity games, and modal µ-calculus. Bulletin of The Belgian Mathematical Society, 8:359–391. [find](https://scholar.google.com/scholar?q=Thomas+Wilke%2E+2001%2E+Alternating+tree+automata%2C+parity+games%2C+and+modal+%C2%B5%2Dcalculus%2E+Bulletin+of+The+Belgian+Mathematical+Society%2C+8%3A359%E2%80%93391%2E)
30. Tatevik Yolyan. 2025a. A framework for learning phonological maps as logical transductions. In Proceedings of the 18th Meeting on the Mathematics of Language, page 44–58. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Tatevik+Yolyan%2E+2025a%2E+A+framework+for+learning+phonological+maps+as+logical+transductions%2E+In+Proceedings+of+the+18th+Meeting+on+the+Mathematics+of+Language%2C+page+44%E2%80%9358%2E+Association+for+Computational)
31. Tatevik Yolyan. 2025b. A logical characterization of weak determinism as simultaneous application. Journal of Logic, Language and Information. [find](https://scholar.google.com/scholar?q=Tatevik+Yolyan%2E+2025b%2E+A+logical+characterization+of+weak+determinism+as+simultaneous+application%2E+Journal+of+Logic%2C+Language+and+Information%2E)
32. Tatevik Yolyan. 2025c. Phonological Expressivity and Learning via Boolean Monadic Recursive Schemes. Ph.D. thesis, Rutgers The State University of New Jersey, School of Graduate Studies. [find](https://scholar.google.com/scholar?q=Tatevik+Yolyan%2E+2025c%2E+Phonological+Expressivity+and+Learning+via+Boolean+Monadic+Recursive+Schemes%2E+Ph%2ED%2E+thesis%2C+Rutgers+The+State+University+of+New+Jersey%2C+School+of+Graduate+Studies%2E)