Abstract is missing.
- Unification in Modal LogicPhilippe Balbiani. 1-5 [doi]
- Propositional Modal Logic with Implicit Modal QuantificationAnantha Padmanabha, R. Ramanujam. 6-17 [doi]
- Infinite Liar in a (Modal) Finitistic SettingMichal Tomasz Godziszewski, Rafal Urbaniak. 18-29 [doi]
- The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5Zhe Lin 0002, Mihir Kumar Chakraborty. 30-41 [doi]
- Specifying Program Properties Using Modal Fixpoint Logics: A Survey of ResultsMartin Lange. 42-51 [doi]
- A Modal Aleatoric Calculus for Probabilistic ReasoningTim French 0002, Andrew Gozzard, Mark Reynolds. 52-63 [doi]
- Public Announcements for Epistemic Models and HypertheoriesNenad Savic, Thomas Studer. 64-75 [doi]
- Revisiting the Generalized Łoś-Tarski TheoremAbhisekh Sankaran. 76-88 [doi]
- Model Theory for Sheaves of ModulesMike Prest. 89-102 [doi]
- Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A SurveyIan Pratt-Hartmann. 103-107 [doi]
- The Undecidability of FO3 and the Calculus of Relations with Just One Binary RelationYoshiki Nakamura. 108-120 [doi]
- Satisfaction Classes via Cut EliminationCezary Cieslinski. 121-131 [doi]
- Sequent Calculi for Normal Update LogicsKatsuhiko Sano, Minghui Ma. 132-143 [doi]
- Logics for Rough Concept AnalysisGiuseppe Greco 0001, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis. 144-159 [doi]
- A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow FrameworksJasine Babu, Karunakaran Murali Krishnan, Vineeth Paleri. 160-172 [doi]
- Logic Without LanguageRohit Parikh. 173-182 [doi]
- Towards a Constructive Formalization of Perfect Graph TheoremsAbhishek Kr Singh, Raja Natarajan. 183-194 [doi]