Studia Logica

On Some Compatible Operations on Heyting Algebras
pp. 331-345(15)
Authors: Ertola Biraben, Rodolfo; San Martín, Hernán

On the Modal Definability of Simulability by Finite Transitive Models
pp. 347-373(27)
Authors: Fernández Duque, David

A Note on Bosbach's Cone Algebras
pp. 375-386(12)
Authors: Rump, Wolfgang; Yang, Yichuan

ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
pp. 387-428(42)
Authors: Nguyen, Linh; Szałas, Andrzej

Paraconsistency in Categories: Case of Relevance Logic
pp. 429-443(15)
Author: Vasyukov, Vladimir

A Framework for Riddles about Truth that do not involve Self-Reference
pp. 445-482(38)
Author: Wintein, Stefan