Wansing, Heinrich Constructive negation, implication, and co-implication. (English) Zbl 1181.03027 J. Appl. Non-Class. Log. 18, No. 2-3, 341-364 (2008). MSC: 03B53 PDFBibTeX XMLCite \textit{H. Wansing}, J. Appl. Non-Class. Log. 18, No. 2--3, 341--364 (2008; Zbl 1181.03027) Full Text: DOI
Szałas, Andrzej Towards incorporating background theories into quantifier elimination. (English) Zbl 1181.03036 J. Appl. Non-Class. Log. 18, No. 2-3, 325-340 (2008). MSC: 03C10 PDFBibTeX XMLCite \textit{A. Szałas}, J. Appl. Non-Class. Log. 18, No. 2--3, 325--340 (2008; Zbl 1181.03036) Full Text: DOI
Sotirov, Vladimir Non-classical operations hidden in classical logic. (English) Zbl 1181.03026 J. Appl. Non-Class. Log. 18, No. 2-3, 309-324 (2008). MSC: 03B50 PDFBibTeX XMLCite \textit{V. Sotirov}, J. Appl. Non-Class. Log. 18, No. 2--3, 309--324 (2008; Zbl 1181.03026) Full Text: DOI
Rybakov, Vladimir Temporal logic with interacting agents. Decidability: theorems and admissible rules. (English) Zbl 1181.03016 J. Appl. Non-Class. Log. 18, No. 2-3, 293-308 (2008). MSC: 03B44 03B25 03B45 PDFBibTeX XMLCite \textit{V. Rybakov}, J. Appl. Non-Class. Log. 18, No. 2--3, 293--308 (2008; Zbl 1181.03016) Full Text: DOI
Rybakov, Mikhail Complexity of intuitionistic propositional logic and its fragments. (English) Zbl 1181.03006 J. Appl. Non-Class. Log. 18, No. 2-3, 267-292 (2008). MSC: 03B20 03-02 03-03 03D15 68Q17 PDFBibTeX XMLCite \textit{M. Rybakov}, J. Appl. Non-Class. Log. 18, No. 2--3, 267--292 (2008; Zbl 1181.03006) Full Text: DOI
Pratt-Hartmann, Ian Conditionalization and total knowledge. (English) Zbl 1181.03010 J. Appl. Non-Class. Log. 18, No. 2-3, 247-266 (2008). MSC: 03B42 03A05 03B48 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann}, J. Appl. Non-Class. Log. 18, No. 2--3, 247--266 (2008; Zbl 1181.03010) Full Text: DOI
Georgiev, Georgi; Tinchev, Tinko Second-order logic on equivalence relations. (English) Zbl 1181.03004 J. Appl. Non-Class. Log. 18, No. 2-3, 229-246 (2008). MSC: 03B15 03B25 PDFBibTeX XMLCite \textit{G. Georgiev} and \textit{T. Tinchev}, J. Appl. Non-Class. Log. 18, No. 2--3, 229--246 (2008; Zbl 1181.03004) Full Text: DOI
Düntsch, Ivo; Orlowska, Ewa A discrete duality between apartness algebras and apartness frames. (English) Zbl 1181.03060 J. Appl. Non-Class. Log. 18, No. 2-3, 213-227 (2008). MSC: 03F65 03G25 54E05 PDFBibTeX XMLCite \textit{I. Düntsch} and \textit{E. Orlowska}, J. Appl. Non-Class. Log. 18, No. 2--3, 213--227 (2008; Zbl 1181.03060) Full Text: DOI
Conradie, Willem; Goranko, Valentin Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA. (English) Zbl 1181.03007 J. Appl. Non-Class. Log. 18, No. 2-3, 175-211 (2008). MSC: 03B35 03B45 PDFBibTeX XMLCite \textit{W. Conradie} and \textit{V. Goranko}, J. Appl. Non-Class. Log. 18, No. 2--3, 175--211 (2008; Zbl 1181.03007) Full Text: DOI
van Benthem, Johan; Bonnay, Denis Modal logic and invariance. (English) Zbl 1181.03020 J. Appl. Non-Class. Log. 18, No. 2-3, 153-173 (2008). MSC: 03B45 03B70 03C95 PDFBibTeX XMLCite \textit{J. van Benthem} and \textit{D. Bonnay}, J. Appl. Non-Class. Log. 18, No. 2--3, 153--173 (2008; Zbl 1181.03020) Full Text: DOI
Balbiani, Philippe Hyper arrow logic with indiscernibility and complementarity. (English) Zbl 1181.03017 J. Appl. Non-Class. Log. 18, No. 2-3, 137-152 (2008). MSC: 03B45 PDFBibTeX XMLCite \textit{P. Balbiani}, J. Appl. Non-Class. Log. 18, No. 2--3, 137--152 (2008; Zbl 1181.03017) Full Text: DOI
Balbiani, Philippe; Tinchev, Tinko Foreword to the special issue on applied modal logic: essays in honour of Dimiter Vakarelov. (English) Zbl 1180.03022 J. Appl. Non-Class. Log. 18, No. 2-3, 135 (2008). MSC: 03B45 03-02 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{T. Tinchev}, J. Appl. Non-Class. Log. 18, No. 2--3, 135 (2008; Zbl 1180.03022) Full Text: DOI