export record
dblp key:
journals/sLogica/FigalloPS23 share record
persistent URL:
Aldo V. Figallo , Gustavo Pelaitay , Jonathan Sarmiento : Discrete Duality for Nelson Algebras with Tense Operators. Stud Logica 111 (1 ) : 1-19 (2023 )export record
dblp key:
journals/sLogica/GheorghiuP23 share record
persistent URL:
Alexander V. Gheorghiu , David J. Pym : Semantical Analysis of the Logic of Bunched Implications. Stud Logica 111 (4 ) : 525-571 (2023 )export record
dblp key:
journals/sLogica/GrigorievNMPS23 share record
persistent URL:
Oleg Grigoriev , Marek Nasieniewski , Krystyna Mruczek-Nasieniewska , Yaroslav I. Petrukhin , Vasily Shangin : Axiomatizing a Minimal Discussive Logic. Stud Logica 111 (5 ) : 855-895 (2023 )export record
dblp key:
journals/sLogica/GruszczynskiM23 share record
persistent URL:
Rafal Gruszczynski , Paula Menchón : From Contact Relations to Modal Operators, and Back. Stud Logica 111 (5 ) : 717-748 (2023 )export record
dblp key:
journals/sLogica/Jansana23 share record
persistent URL:
Ramon Jansana : Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €. Stud Logica 111 (4 ) : 709-715 (2023 )share record
persistent URL:
Sándor Jenei : Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains. Stud Logica 111 (5 ) : 897-898 (2023 )export record
dblp key:
journals/sLogica/Kamide23 share record
persistent URL:
Norihiro Kamide : Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic. Stud Logica 111 (6 ) : 979-1014 (2023 )export record
dblp key:
journals/sLogica/Kurahashi23 share record
persistent URL:
Taishi Kurahashi : Some Observations on the FGH Theorem. Stud Logica 111 (5 ) : 749-778 (2023 )export record
dblp key:
journals/sLogica/KuznetsovS23 share record
persistent URL:
Stepan L. Kuznetsov , Stanislav O. Speranski : Infinitary Action Logic with Multiplexing. Stud Logica 111 (2 ) : 251-280 (2023 )share record
persistent URL:
Dazhu Li , Sujata Ghosh , Fenrong Liu , Yaxin Tu : A Simple Logic of the Hide and Seek Game. Stud Logica 111 (5 ) : 821-853 (2023 )share record
persistent URL:
Minghui Ma , Qian Chen : Finite Model Property in Weakly Transitive Tense Logics. Stud Logica 111 (2 ) : 217-250 (2023 )share record
persistent URL:
Minghui Ma , Guiying Li : Intuitionistic Propositional Logic with Galois Negations. Stud Logica 111 (1 ) : 21-56 (2023 )export record
dblp key:
journals/sLogica/NicolaiR23 share record
persistent URL:
Carlo Nicolai , Lorenzo Rossi : Systems for Non-Reflexive Consequence. Stud Logica 111 (6 ) : 947-977 (2023 )share record
persistent URL:
Aleksander Parol : Hyperintensionality and Fine-Grained Semantics. Stud Logica 111 (6 ) : 1083-1087 (2023 )export record
dblp key:
journals/sLogica/ParsaG23 share record
persistent URL:
Amir Farahmand Parsa , Meghdad Ghari : On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs. Stud Logica 111 (4 ) : 573-613 (2023 )export record
dblp key:
journals/sLogica/PelaitayZ23 share record
persistent URL:
Gustavo Pelaitay , William Zuluaga : Tense Operators on Distributive Lattices with Implication. Stud Logica 111 (4 ) : 687-708 (2023 )export record
dblp key:
journals/sLogica/Pezlar23 share record
persistent URL:
Ivo Pezlar : Nils Kürbis, Proof and Falsity: A Logical Investigation, Cambridge University Press, 2019, pp. 316; ISBN: 978-110-87-1672-7 (Softcover)£24.99, ISBN: 978-110-84-8130-4 (Hardcover)£78.99, ISBN: 978-110-86-2517-3 (eBook) $26.00. Stud Logica 111 (2 ) : 353-356 (2023 )export record
dblp key:
journals/sLogica/RooijKD23 share record
persistent URL:
Robert van Rooij , Karolina Krzyzanowska , Igor Douven : Williamson's Abductive Case for the Material Conditional Account. Stud Logica 111 (4 ) : 653-685 (2023 )share record
persistent URL:
Wolfgang Rump : Linear L-Algebras and Prime Factorization. Stud Logica 111 (1 ) : 57-82 (2023 )share record
persistent URL:
Youan Su , Katsuhiko Sano : A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic. Stud Logica 111 (4 ) : 615-652 (2023 )export record
dblp key:
journals/sLogica/Szudzik23 share record
persistent URL:
Matthew P. Szudzik : Semantics of Computable Physical Models. Stud Logica 111 (5 ) : 779-819 (2023 )export record
dblp key:
journals/sLogica/Tedder23 share record
persistent URL:
Andrew Tedder : Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics. Stud Logica 111 (2 ) : 321-352 (2023 )share record
persistent URL:
Longchun Wang , Qingguo Li : The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces. Stud Logica 111 (2 ) : 187-215 (2023 )export record
dblp key:
journals/sLogica/WangSHM23 share record
persistent URL:
Jun Tao Wang , Yanhong She , Pengfei He , Na Na Ma : On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices. Stud Logica 111 (3 ) : 361-390 (2023 )share record
persistent URL:
Ming Xu : FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3. Stud Logica 111 (6 ) : 899-946 (2023 )share record
persistent URL:
Eunsuk Yang : Birkhoff's and Mal'cev's Theorems for Implicational Tonoid Logics. Stud Logica 111 (3 ) : 501-519 (2023 )share record
persistent URL:
Hongkai Yin , Hanoch Ben-Yami : The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics. Stud Logica 111 (2 ) : 281-320 (2023 )share record
persistent URL:
Zhe Yu : Beishui Liao, Thomas Ågotnes, Yi N. Wang, (eds.), Dynamics, Uncertainty and Reasoning, vol. 4 of Logic in Asia: Studia Logica Library, Springer, Singapore, 2019, pp. 207+xii; ISBN: 978-981-13-7793-8 (Softcover) 117,69 €, ISBN: 978-981-13-7790-7 (Hardcover) 160,49 €, ISBN: 978-981-13-7791-4 (eBook) 93,08 €. Stud Logica 111 (1 ) : 139-143 (2023 )export record
dblp key:
journals/sLogica/Zamperlin23 share record
persistent URL:
Nicolò Zamperlin : Stefano Bonzio, Francesco Paoli, Michele Pra Baldi, Logics of Variable Inclusion, vol. 59 of Trends in Logic, Springer, 2022, pp. 221+x; ISBN: 978-3-031-04296-6 (Hardcover) 106.99€, ISBN: 978-3-031-04299-7 (eBook) 85.59€. Stud Logica 111 (3 ) : 521-524 (2023 )share record
persistent URL:
Qianli Zeng , Ming Hsiung : The Elimination of Direct Self-reference. Stud Logica 111 (6 ) : 1037-1055 (2023 )