van Benthem, Johan The logic of empirical theories revisited. (English) Zbl 1275.03076 Synthese 186, No. 3, 775-792 (2012). MSC: 03A10 PDFBibTeX XMLCite \textit{J. van Benthem}, Synthese 186, No. 3, 775--792 (2012; Zbl 1275.03076) Full Text: DOI
van Benthem, Johan; Kuipers, Theo; Visser, Henk Introduction to the special issue: Logic and philosophy of science in the footsteps of E. W. Beth. (English) Zbl 1267.03008 Synthese 179, No. 2, 203-206 (2011). MSC: 03-06 01A70 03-03 PDFBibTeX XMLCite \textit{J. van Benthem} et al., Synthese 179, No. 2, 203--206 (2011; Zbl 1267.03008) Full Text: DOI
van Benthem, Johan; Velázquez-Quesada, Fernando R. The dynamics of awareness. (English) Zbl 1215.03030 Synthese 177, Suppl. 1, 5-27 (2010). MSC: 03B42 PDFBibTeX XMLCite \textit{J. van Benthem} and \textit{F. R. Velázquez-Quesada}, Synthese 177, 5--27 (2010; Zbl 1215.03030) Full Text: DOI
Ågotnes, Thomas; van Benthem, Johan; Pacuit, Eric Editorial: Logic and intelligent interaction. (English) Zbl 1177.03004 Synthese 169, No. 2, 219-221 (2009). MSC: 03-02 03A05 03B42 68T27 PDFBibTeX XMLCite \textit{T. Ågotnes} et al., Synthese 169, No. 2, 219--221 (2009; Zbl 1177.03004) Full Text: DOI
van Benthem, Johan The information in intuitionistic logic. (English) Zbl 1172.03312 Synthese 167, No. 2, 251-270 (2009). MSC: 03B42 PDFBibTeX XMLCite \textit{J. van Benthem}, Synthese 167, No. 2, 251--270 (2009; Zbl 1172.03312) Full Text: DOI
van Benthem, Johan; Ghosh, Sujata; Liu, Fenrong Modelling simultaneous games in dynamic logic. (English) Zbl 1169.03021 Synthese 165, No. 2, 247-268 (2008). MSC: 03B60 03B45 91A40 PDFBibTeX XMLCite \textit{J. van Benthem} et al., Synthese 165, No. 2, 247--268 (2008; Zbl 1169.03021) Full Text: DOI
van Benthem, Johan The many faces of interpolation. (English) Zbl 1168.03020 Synthese 164, No. 3, 451-460 (2008). MSC: 03C40 PDFBibTeX XMLCite \textit{J. van Benthem}, Synthese 164, No. 3, 451--460 (2008; Zbl 1168.03020) Full Text: DOI
Van Benthem, Johan The logical study of science. (English) Zbl 0486.03007 Synthese 51, 431-472 (1982). MSC: 03A05 03C40 03-03 PDFBibTeX XMLCite \textit{J. Van Benthem}, Synthese 51, 431--472 (1982; Zbl 0486.03007) Full Text: DOI
van Benthem, J. F. A. K. Critical notice to: D. M. Gabbay’s ”Investigations in modal and tense logics with applications to problems in philosophy and linguistics”. (English) Zbl 0433.03008 Synthese 40, 353-373 (1979). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{J. F. A. K. van Benthem}, Synthese 40, 353--373 (1979; Zbl 0433.03008) Full Text: DOI