Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Gargov, George
and
Goranko, Valentin
1993.
Modal logic with names.
Journal of Philosophical Logic,
Vol. 22,
Issue. 6,
p.
607.
Roorda, Dirk
1993.
Diamonds and Defaults.
p.
215.
Van Der Hoek, Wiebe
and
De Rijke, Maarten
1993.
Generalized quantifiers and modal logic.
Journal of Logic, Language and Information,
Vol. 2,
Issue. 1,
p.
19.
Demri, St�phane
Orlowska, Ewa
and
Rewitzky, Ingrid
1994.
Towards reasoning about Hoare relations.
Annals of Mathematics and Artificial Intelligence,
Vol. 12,
Issue. 3-4,
p.
265.
Goranko, Valentin
1994.
Temporal Logic.
Vol. 827,
Issue. ,
p.
133.
Montanari, Angelo
and
Rijke, Maarten
1995.
Algebraic Methodology and Software Technology.
Vol. 936,
Issue. ,
p.
385.
Blackburn, Patrick
and
Seligman, Jerry
1995.
Hybrid languages.
Journal of Logic, Language and Information,
Vol. 4,
Issue. 3,
p.
251.
Balbiani, Philippe
Fariñas del Cerro, Luis
Tinchev, Tinko
and
Vakarelov, Dimiter
1996.
Practical Reasoning.
Vol. 1085,
Issue. ,
p.
43.
Demri, Stéphane
1996.
Theorem Proving with Analytic Tableaux and Related Methods.
Vol. 1071,
Issue. ,
p.
177.
Van Benthem, Johan
and
Alechina, Natasha
1997.
Advances in Intensional Logic.
Vol. 7,
Issue. ,
p.
1.
Montanaria, Angelo
and
de Rijkeb, Maarten
1997.
Two-sorted metric temporal logics.
Theoretical Computer Science,
Vol. 183,
Issue. 2,
p.
187.
Balbiani, Philippe
1998.
The Modal Multilogic of Geometry.
Journal of Applied Non-Classical Logics,
Vol. 8,
Issue. 3,
p.
259.
de Rijke, Maarten
1998.
A System of Dynamic Modal Logic.
Journal of Philosophical Logic,
Vol. 27,
Issue. 2,
p.
109.
Kracht, Marcus
1999.
Modal Logics That Need Very Large Frames.
Notre Dame Journal of Formal Logic,
Vol. 40,
Issue. 2,
Demri, Stéphane
and
Goré, Rajeev
1999.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 1617,
Issue. ,
p.
155.
Goranko, Valentin
and
Vakarelov, Dimiter
1999.
Hyperboolean Algebras and Hyperboolean Modal Logic.
Journal of Applied Non-Classical Logics,
Vol. 9,
Issue. 2-3,
p.
345.
Sturm, Holger
Suzuki, Nobu-Yuki
Wolter, Frank
and
Zakharyaschev, Michael
2000.
Logics in Artificial Intelligence.
Vol. 1919,
Issue. ,
p.
37.
Stenning, Keith
and
Lemon, Oliver
2001.
Thinking with Diagrams.
p.
29.
Lutz, Carsten
Sattler, Ulrike
and
Wolter, Frank
2001.
Computer Science Logic.
Vol. 2142,
Issue. ,
p.
247.
Sturm, Holger
and
Wolter, Frank
2001.
First-order Expressivity for S5-models: Modal vs. Two-sorted Languages.
Journal of Philosophical Logic,
Vol. 30,
Issue. 6,
p.
571.