Balbiani, Philippe Deciding the word problem in pure double Boolean algebras. (English) Zbl 1283.06027 J. Appl. Log. 10, No. 3, 260-273 (2012). MSC: 06E75 03B25 03D40 68T30 PDFBibTeX XMLCite \textit{P. Balbiani}, J. Appl. Log. 10, No. 3, 260--273 (2012; Zbl 1283.06027) Full Text: DOI
Ballarin, Roberta Opacity and the double life of singular propositions. (English) Zbl 1264.03012 J. Appl. Log. 10, No. 3, 250-259 (2012). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{R. Ballarin}, J. Appl. Log. 10, No. 3, 250--259 (2012; Zbl 1264.03012) Full Text: DOI
Ballarin, Roberta Quine on intensional entities: modality and quantification, truth and satisfaction. (English) Zbl 1264.03011 J. Appl. Log. 10, No. 3, 238-249 (2012). MSC: 03A05 01A60 03-03 03B45 03B65 PDFBibTeX XMLCite \textit{R. Ballarin}, J. Appl. Log. 10, No. 3, 238--249 (2012; Zbl 1264.03011) Full Text: DOI
Rönnedal, Daniel Temporal alethic-deontic logic and semantic tableaux. (English) Zbl 1264.03054 J. Appl. Log. 10, No. 3, 219-237 (2012). MSC: 03B45 03B44 PDFBibTeX XMLCite \textit{D. Rönnedal}, J. Appl. Log. 10, No. 3, 219--237 (2012; Zbl 1264.03054) Full Text: DOI