van Weerdenburg, Muck; Reniers, Michel A. Structural operational semantics with first-order logic. (English) Zbl 1339.68161 Hennessy, Matthew (ed.) et al., Proceedings of the 5th workshop on structural operational semantics (SOS 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 4, 85-106 (2009). MSC: 68Q55 03B10 03B70 68Q85 PDFBibTeX XMLCite \textit{M. van Weerdenburg} and \textit{M. A. Reniers}, Electron. Notes Theor. Comput. Sci. 229, No. 4, 85--106 (2009; Zbl 1339.68161) Full Text: DOI
Wobcke, Wayne An information-based theory of conditionals. (English) Zbl 1025.03014 Notre Dame J. Formal Logic 41, No. 2, 95-141 (2000). Reviewer: Albert A.Mullin (Madison) MSC: 03B42 68T30 68T27 PDFBibTeX XMLCite \textit{W. Wobcke}, Notre Dame J. Formal Logic 41, No. 2, 95--141 (2000; Zbl 1025.03014) Full Text: DOI
Muskens, Reinhard On partial and paraconsistent logics. (English) Zbl 1007.03029 Notre Dame J. Formal Logic 40, No. 3, 352-374 (1999). MSC: 03B53 PDFBibTeX XMLCite \textit{R. Muskens}, Notre Dame J. Formal Logic 40, No. 3, 352--374 (1999; Zbl 1007.03029) Full Text: DOI
Sandu, Gabriel Partially interpreted relations and partially interpreted quantifiers. (English) Zbl 0920.03009 J. Philos. Log. 27, No. 6, 587-601 (1998). Reviewer: P.Materna (Praha) MSC: 03A05 03C80 03B65 PDFBibTeX XMLCite \textit{G. Sandu}, J. Philos. Log. 27, No. 6, 587--601 (1998; Zbl 0920.03009) Full Text: DOI
Jaspars, Jan O. M. Partial up an down logic. (English) Zbl 0837.03026 Notre Dame J. Formal Logic 36, No. 1, 134-157 (1995). MSC: 03B60 68T27 68T30 PDFBibTeX XMLCite \textit{J. O. M. Jaspars}, Notre Dame J. Formal Logic 36, No. 1, 134--157 (1995; Zbl 0837.03026) Full Text: DOI
Barba, Juan A modal reduction for partial logic. (English) Zbl 0781.03009 J. Philos. Log. 22, No. 4, 429-435 (1993). MSC: 03B45 03B50 03B60 03B53 PDFBibTeX XMLCite \textit{J. Barba}, J. Philos. Log. 22, No. 4, 429--435 (1993; Zbl 0781.03009) Full Text: DOI