Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Marx, Maarten
Mikul, Szabolcs
and
N�meti, Istv�n
1995.
Taming logic.
Journal of Logic, Language and Information,
Vol. 4,
Issue. 3,
p.
207.
Marx, Maarten
1996.
Multi-Dimensional Semantics for Modal Logics.
Notre Dame Journal of Formal Logic,
Vol. 37,
Issue. 1,
Mikulás, Szabolcs
1996.
Proof Theory of Modal Logic.
Vol. 2,
Issue. ,
p.
243.
Andréka, Hajnal
1997.
Complexity of equations valid in algebras of relations part I: Strong non-finitizability.
Annals of Pure and Applied Logic,
Vol. 89,
Issue. 2-3,
p.
149.
Andréka, Hajnal
Németi, István
and
van Benthem, Johan
1998.
Modal Languages and Bounded Fragments of Predicate Logic.
Journal of Philosophical Logic,
Vol. 27,
Issue. 3,
p.
217.
van Benthem, Johan
1999.
The Range of Modal Logic.
Journal of Applied Non-Classical Logics,
Vol. 9,
Issue. 2-3,
p.
407.
Westerståhl, Dag
1999.
Logic and Foundations of Mathematics.
p.
195.
Lomuscio, Alessio R.
van der Meyden, Ron
and
Ryan, Mark
2000.
Knowledge in multiagent systems.
ACM Transactions on Computational Logic,
Vol. 1,
Issue. 2,
p.
247.
Andréka, H.
Németi, I.
and
Sain, I.
2001.
Handbook of Philosophical Logic.
p.
133.
Sayed Ahmed, Tarek
2003.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.
Notre Dame Journal of Formal Logic,
Vol. 44,
Issue. 3,
Ahmed, Tarek Sayed
2005.
Algebraic Logic, Where Does it Stand Today?.
Bulletin of Symbolic Logic,
Vol. 11,
Issue. 4,
p.
465.
Gerbrandy, Jelle
2006.
Logics of propositional control.
p.
193.
Marx, Maarten
2007.
Handbook of Modal Logic.
Vol. 3,
Issue. ,
p.
139.
Marx, Maarten
and
Venema, Yde
2007.
Finite Model Theory and Its Applications.
p.
371.
Madarasz, J.
and
Ahmed, T. S.
2009.
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts.
Logic Journal of IGPL,
Vol. 17,
Issue. 4,
p.
429.
Troquard, Nicolas
van der Hoek, Wiebe
and
Wooldridge, Michael
2009.
Model Checking and Artificial Intelligence.
Vol. 5348,
Issue. ,
p.
166.
ten Cate, Balder
and
Marx, Maarten
2009.
Axiomatizing the Logical Core of XPath 2.0.
Theory of Computing Systems,
Vol. 44,
Issue. 4,
p.
561.
Kikot’, S. P.
2010.
Axiomatization of modal logic squares with distinguished diagonal.
Mathematical Notes,
Vol. 88,
Issue. 1-2,
p.
238.
Кикоть, Станислав П
and
Kikot', Stanislav P
2010.
Об аксиоматике квадратов модальных логик с выделенной диагональю.
Математические заметки,
Vol. 88,
Issue. 2,
p.
261.
Ahmed, Tarek Sayed
2011.
On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras.
Mathematical Logic Quarterly,
Vol. 57,
Issue. 4,
p.
384.