Abstract is missing.
- PrefaceAmy Felty, João Marcos. 1-2 [doi]
- On Solving Nominal Disunification ConstraintsMauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho, Deivid Val. 3-22 [doi]
- Deciding Quantifier-free Definability in Finite Algebraic StructuresMiguel Campercholi, Mauricio Tellechea, Pablo Ventura. 23-41 [doi]
- Introducing Synchrony in Fuzzy AutomataLeandro Gomes, Alexandre Madeira, Luís Soares Barbosa. 43-60 [doi]
- Dual and Axiomatic Systems for Constructive S4, a Formally Verified EquivalenceLourdes Del Carmen González-Huesca, Favio E. Miranda-Perea, P. Selene Linares-Arévalo. 61-83 [doi]
- A Fuzzy Modal Logic for Fuzzy Transition SystemsManisha Jain, Alexandre Madeira, Manuel A. Martins. 85-103 [doi]
- Populational Announcement Logic (PPAL)Vitor Machado, Mario R. F. Benevides. 105-123 [doi]
- Indexed and Fibred Structures for Hoare LogicUwe Wolter, Alfio Martini, Edward Hermann Häusler. 125-145 [doi]