Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kishida, Kohei
2011.
Neighborhood-Sheaf Semantics for First-Order Modal Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 278,
Issue. ,
p.
129.
Garner, Richard
2012.
Ionads.
Journal of Pure and Applied Algebra,
Vol. 216,
Issue. 8-9,
p.
1734.
Kishida, Kohei
2013.
New Frontiers in Artificial Intelligence.
Vol. 7856,
Issue. ,
p.
96.
KREMER, PHILIP
2014.
QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE.
The Review of Symbolic Logic,
Vol. 7,
Issue. 3,
p.
439.
Başkent, Can
2015.
New Directions in Paraconsistent Logic.
Vol. 152,
Issue. ,
p.
427.
Lando, Tamar
2015.
First order S4 and its measure-theoretic semantics.
Annals of Pure and Applied Logic,
Vol. 166,
Issue. 2,
p.
187.
Kishida, Kohei
2017.
Categories for Dynamic Epistemic Logic.
Electronic Proceedings in Theoretical Computer Science,
Vol. 251,
Issue. ,
p.
353.
Burrieza, Alfredo
Fortes, Inmaculada
and
de Guzmán, Inmaculada Pérez
2017.
Completeness of a functional system for surjective functions.
Mathematical Logic Quarterly,
Vol. 63,
Issue. 6,
p.
574.
Marquis, Jean-Pierre
2018.
Introduction to Formal Philosophy.
p.
251.
KREMER, PHILIP
2019.
QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES.
The Review of Symbolic Logic,
Vol. 12,
Issue. 3,
p.
405.
Angere, Staffan
2021.
Identity and intensionality in Univalent Foundations and philosophy.
Synthese,
Vol. 198,
Issue. S5,
p.
1177.
Sayed Ahmed, Tarek
2021.
Omitting types algebraically and more about amalgamation for modal cylindric algebras.
Mathematical Logic Quarterly,
Vol. 67,
Issue. 3,
p.
295.
Wolfengagen, Viacheslav
Ismailova, Larisa
Kosikov, Sergey
and
Dohrn, Sebastian
2022.
Biologically Inspired Cognitive Architectures 2021.
Vol. 1032,
Issue. ,
p.
596.
SHULMAN, MICHAEL
2022.
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS.
The Bulletin of Symbolic Logic,
Vol. 28,
Issue. 3,
p.
327.
Brunet, Tyler D. P.
2023.
Categorial modal realism.
Synthese,
Vol. 201,
Issue. 2,
Yan, King-Yin
2024.
Artificial General Intelligence.
Vol. 14951,
Issue. ,
p.
210.
Bussi, Laura
Ciancia, Vincenzo
and
Gadducci, Fabio
2024.
Dynamic Logic. New Trends and Applications.
Vol. 14401,
Issue. ,
p.
1.