Humberstone, Lloyd; Kuhn, Steven T. Modal logics that are both monotone and antitone: Makinson’s extension results and affinities between logics. (English) Zbl 07634481 Notre Dame J. Formal Logic 63, No. 4, 515-550 (2022). MSC: 03B45 03B05 03A05 03F25 PDF BibTeX XML Cite \textit{L. Humberstone} and \textit{S. T. Kuhn}, Notre Dame J. Formal Logic 63, No. 4, 515--550 (2022; Zbl 07634481) Full Text: DOI Link OpenURL
Chlebowski, Szymon; Gawek, Marta; Tomczyk, Agata Natural deduction systems for intuitionistic logic with identity. (English) Zbl 07625359 Stud. Log. 110, No. 6, 1381-1415 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Chlebowski} et al., Stud. Log. 110, No. 6, 1381--1415 (2022; Zbl 07625359) Full Text: DOI OpenURL
Grant, John Measuring inconsistency in some logics with tense operators. (English) Zbl 07598587 Notre Dame J. Formal Logic 63, No. 3, 415-440 (2022). Reviewer: Valentin F. Goranko (Stockholm) MSC: 03B60 03B44 03B53 PDF BibTeX XML Cite \textit{J. Grant}, Notre Dame J. Formal Logic 63, No. 3, 415--440 (2022; Zbl 07598587) Full Text: DOI OpenURL
Balbiani, Philippe; Gencer, Çiğdem; Rostamigiv, Maryam; Tinchev, Tinko About the unification type of \(\mathbf{K}+\square \square \bot\). (English) Zbl 07517438 Ann. Math. Artif. Intell. 90, No. 5, 481-497 (2022). MSC: 03B45 03B70 68T27 PDF BibTeX XML Cite \textit{P. Balbiani} et al., Ann. Math. Artif. Intell. 90, No. 5, 481--497 (2022; Zbl 07517438) Full Text: DOI OpenURL
Chen, Haibo; Gao, Xin Mathematics and software verification. (English) Zbl 1497.68110 Heng, Liao (ed.) et al., Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54-73 (2022). Reviewer: Damas Gruska (Bratislava) MSC: 68N30 03B70 68N18 68Q60 PDF BibTeX XML Cite \textit{H. Chen} and \textit{X. Gao}, in: Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54--73 (2022; Zbl 1497.68110) Full Text: Link OpenURL
Steinbach, Bernd; Posthoff, Christian Logic functions and equations. Fundamentals and applications using the XBOOLE-monitor. 3rd expanded and updated edition. (English) Zbl 1487.94002 Cham: Springer (ISBN 978-3-030-88944-9/hbk; 978-3-030-88945-6/ebook). xvi, 810 p. (2022). MSC: 94-01 94D10 PDF BibTeX XML Cite \textit{B. Steinbach} and \textit{C. Posthoff}, Logic functions and equations. Fundamentals and applications using the XBOOLE-monitor. 3rd expanded and updated edition. Cham: Springer (2022; Zbl 1487.94002) Full Text: DOI OpenURL
Avron, Arnon Implication, equivalence, and negation. (English) Zbl 07642556 Log. Issled. 27, No. 1, 31-45 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Avron}, Log. Issled. 27, No. 1, 31--45 (2021; Zbl 07642556) Full Text: DOI OpenURL
Latte, Markus Branching-time logics and fairness, revisited. (English) Zbl 1498.68163 Math. Struct. Comput. Sci. 31, No. 9, 1135-1144 (2021). Reviewer: Giacomo Lenzi (Fisciano) MSC: 68Q60 03B44 03B45 PDF BibTeX XML Cite \textit{M. Latte}, Math. Struct. Comput. Sci. 31, No. 9, 1135--1144 (2021; Zbl 1498.68163) Full Text: DOI OpenURL
Tarau, Paul Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic. (English) Zbl 07496655 Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 329-344 (2021). MSC: 68N30 PDF BibTeX XML Cite \textit{P. Tarau}, Lect. Notes Comput. Sci. 12561, 329--344 (2021; Zbl 07496655) Full Text: DOI OpenURL
Luo, JiLiang; Tan, KaiCheng; Luo, HuaiJu; Zhou, MengChu Inference approach based on Petri nets. (English) Zbl 1475.68369 Inf. Sci. 547, 1008-1024 (2021). MSC: 68T30 68Q85 PDF BibTeX XML Cite \textit{J. Luo} et al., Inf. Sci. 547, 1008--1024 (2021; Zbl 1475.68369) Full Text: DOI OpenURL
Muravitsky, Alexei On nonmonotonic consequence relations. (English) Zbl 07380930 Log. Univers. 15, No. 2, 227-249 (2021). MSC: 03B05 03B99 03F99 PDF BibTeX XML Cite \textit{A. Muravitsky}, Log. Univers. 15, No. 2, 227--249 (2021; Zbl 07380930) Full Text: DOI OpenURL
Punčochář, Vít; Sedlár, Igor Inquisitive propositional dynamic logic. (English) Zbl 1496.03135 J. Logic Lang. Inf. 30, No. 1, 91-116 (2021). MSC: 03B70 03B65 03B42 PDF BibTeX XML Cite \textit{V. Punčochář} and \textit{I. Sedlár}, J. Logic Lang. Inf. 30, No. 1, 91--116 (2021; Zbl 1496.03135) Full Text: DOI OpenURL
Zhang, Nan; Duan, Zhenhua; Tian, Cong Unified temporal logic. (English) Zbl 1497.68322 Theor. Comput. Sci. 864, 58-69 (2021). MSC: 68Q60 03B44 93C95 PDF BibTeX XML Cite \textit{N. Zhang} et al., Theor. Comput. Sci. 864, 58--69 (2021; Zbl 1497.68322) Full Text: DOI OpenURL
Salehi, Saeed From intuitionism to many-valued logics through Kripke models. (English) Zbl 1490.03011 Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 339-348 (2021). Reviewer: Albert Hoogewijs (Gent) MSC: 03B20 03B50 PDF BibTeX XML Cite \textit{S. Salehi}, Log. Epistemol. Unity Sci. 49, 339--348 (2021; Zbl 1490.03011) Full Text: DOI arXiv OpenURL
Zhang, Nan; Yu, Bin; Tian, Cong; Duan, Zhenhua; Yuan, Xiaoshuai Temporal logic specification mining of programs. (English) Zbl 1477.68168 Theor. Comput. Sci. 857, 29-42 (2021). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{N. Zhang} et al., Theor. Comput. Sci. 857, 29--42 (2021; Zbl 1477.68168) Full Text: DOI OpenURL
Sedlár, Igor Finitely-valued propositional dynamic logic. (English) Zbl 07585733 Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 561-579 (2020). MSC: 03B45 PDF BibTeX XML Cite \textit{I. Sedlár}, in: Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24--28, 2020. London: College Publications. 561--579 (2020; Zbl 07585733) Full Text: arXiv OpenURL
Pynko, Alexej P. Four-valued expansions of Dunn-Belnap’s logic. I: Basic characterizations. (English) Zbl 1477.03076 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 4, 401-437 (2020). MSC: 03B50 03B53 PDF BibTeX XML Cite \textit{A. P. Pynko}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 4, 401--437 (2020; Zbl 1477.03076) Full Text: DOI OpenURL
Weiss, Yale Cut and gamma. I: Propositional and constant domain R. (English) Zbl 1486.03045 Rev. Symb. Log. 13, No. 4, 887-909 (2020). MSC: 03B47 03F05 PDF BibTeX XML Cite \textit{Y. Weiss}, Rev. Symb. Log. 13, No. 4, 887--909 (2020; Zbl 1486.03045) Full Text: DOI OpenURL
Piazza, Mario; Pulcini, Gabriele Fractional semantics for classical logic. (English) Zbl 1486.03016 Rev. Symb. Log. 13, No. 4, 810-828 (2020). MSC: 03B05 03B50 03B42 03F05 PDF BibTeX XML Cite \textit{M. Piazza} and \textit{G. Pulcini}, Rev. Symb. Log. 13, No. 4, 810--828 (2020; Zbl 1486.03016) Full Text: DOI OpenURL
Grant, John Measuring inconsistency in generalized propositional logic. (English) Zbl 1476.03034 Log. Univers. 14, No. 3, 331-356 (2020). Reviewer: Gemma Robles (León) MSC: 03B53 03B45 PDF BibTeX XML Cite \textit{J. Grant}, Log. Univers. 14, No. 3, 331--356 (2020; Zbl 1476.03034) Full Text: DOI OpenURL
Kurahashi, Taishi Uniform Lyndon interpolation property in propositional modal logics. (English) Zbl 1462.03013 Arch. Math. Logic 59, No. 5-6, 659-678 (2020). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03F45 PDF BibTeX XML Cite \textit{T. Kurahashi}, Arch. Math. Logic 59, No. 5--6, 659--678 (2020; Zbl 1462.03013) Full Text: DOI arXiv OpenURL
Boudou, Joseph; Herzig, Andreas; Troquard, Nicolas Resource separation in dynamic logic of propositional assignments. (English) Zbl 1496.03124 Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 155-170 (2020). MSC: 03B70 68Q17 68Q60 PDF BibTeX XML Cite \textit{J. Boudou} et al., Lect. Notes Comput. Sci. 12005, 155--170 (2020; Zbl 1496.03124) Full Text: DOI arXiv Link OpenURL
Malink, Marko; Vasudevan, Anubav The peripatetic program in categorical logic: Leibniz on propositional terms. (English) Zbl 1452.03014 Rev. Symb. Log. 13, No. 1, 141-205 (2020). Reviewer: Volker Peckhaus (Paderborn) MSC: 03A05 03-03 01A20 01A45 03B05 03B47 PDF BibTeX XML Cite \textit{M. Malink} and \textit{A. Vasudevan}, Rev. Symb. Log. 13, No. 1, 141--205 (2020; Zbl 1452.03014) Full Text: DOI OpenURL
Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian A recovery operator for nontransitive approaches. (English) Zbl 1452.03062 Rev. Symb. Log. 13, No. 1, 80-104 (2020). Reviewer: Gemma Robles (León) MSC: 03B47 03B05 03B53 03B50 PDF BibTeX XML Cite \textit{E. A. Barrio} et al., Rev. Symb. Log. 13, No. 1, 80--104 (2020; Zbl 1452.03062) Full Text: DOI OpenURL
Feng, Shiguang; Carapelle, Claudia; Gil, Oliver Fernández; Quaas, Karin MTL and TPTL for one-counter machines. Expressiveness, model checking, and satisfiability. (English) Zbl 1433.68215 ACM Trans. Comput. Log. 21, No. 2, Article No. 12, 34 p. (2020). MSC: 68Q60 03B25 03B44 PDF BibTeX XML Cite \textit{S. Feng} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 12, 34 p. (2020; Zbl 1433.68215) Full Text: DOI OpenURL
Sedlár, Igor; Punčochář, Vít From positive PDL to its non-classical extensions. (English) Zbl 1477.03065 Log. J. IGPL 27, No. 4, 522-542 (2019). MSC: 03B47 03B45 03B53 PDF BibTeX XML Cite \textit{I. Sedlár} and \textit{V. Punčochář}, Log. J. IGPL 27, No. 4, 522--542 (2019; Zbl 1477.03065) Full Text: DOI OpenURL
Oakley, Tim The reductio argument against epistemic infinitism. (English) Zbl 1475.03039 Synthese 196, No. 9, 3869-3887 (2019). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{T. Oakley}, Synthese 196, No. 9, 3869--3887 (2019; Zbl 1475.03039) Full Text: DOI OpenURL
Ventura, Rafael Ambiguous signals, partial beliefs, and propositional content. (English) Zbl 1475.03057 Synthese 196, No. 7, 2803-2820 (2019). MSC: 03A05 03B42 91A28 PDF BibTeX XML Cite \textit{R. Ventura}, Synthese 196, No. 7, 2803--2820 (2019; Zbl 1475.03057) Full Text: DOI OpenURL
Jarmużek, Tomasz; Malinowski, Jacek Boolean connexive logics: semantics and tableau approach. (English) Zbl 1458.03024 Log. Log. Philos. 28, No. 3, 427-448 (2019). MSC: 03B60 03B05 PDF BibTeX XML Cite \textit{T. Jarmużek} and \textit{J. Malinowski}, Log. Log. Philos. 28, No. 3, 427--448 (2019; Zbl 1458.03024) Full Text: DOI OpenURL
Chlebowski, Szymon; Leszczyńska-Jasion, Dorota An investigation into intuitionistic logic with identity. (English) Zbl 1446.03024 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 259-283 (2019). MSC: 03B20 03F05 PDF BibTeX XML Cite \textit{S. Chlebowski} and \textit{D. Leszczyńska-Jasion}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 259--283 (2019; Zbl 1446.03024) Full Text: DOI OpenURL
Hazen, Allen P.; Pelletier, Francis Jeffry K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you. (English) Zbl 1469.03063 Omori, Hitoshi (ed.) et al., New essays on Belnap-Dunn logic. Cham: Springer. Synth. Libr. 418, 155-190 (2019). MSC: 03B50 03B47 03B53 PDF BibTeX XML Cite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Synth. Libr. 418, 155--190 (2019; Zbl 1469.03063) Full Text: DOI arXiv OpenURL
Berghammer, Rudolf Mathematics for computer science. Basic concepts, structures and their applications. 3rd expanded and updated edition. (Mathematik für die Informatik. Grundlegende Begriffe, Strukturen und ihre Anwendung.) (German) Zbl 1456.68002 Wiesbaden: Springer Vieweg (ISBN 978-3-658-25808-5/pbk; 978-3-658-25809-2/ebook). xii, 426 p. (2019). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 68-01 00A06 03B05 03B10 03E20 68N01 68N30 68P05 68Q60 68R10 68W01 PDF BibTeX XML Cite \textit{R. Berghammer}, Mathematik für die Informatik. Grundlegende Begriffe, Strukturen und ihre Anwendung. 3rd expanded and updated edition. Wiesbaden: Springer Vieweg (2019; Zbl 1456.68002) Full Text: DOI OpenURL
Jalali, Raheleh An exponential lower bound for proofs in focused calculi. (English) Zbl 07176935 Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 342-355 (2019). MSC: 03B70 PDF BibTeX XML Cite \textit{R. Jalali}, Lect. Notes Comput. Sci. 11541, 342--355 (2019; Zbl 07176935) Full Text: DOI OpenURL
Achimescu, Andreea; Baltag, Alexandru; Sack, Joshua The probabilistic logic of communication and change. (English) Zbl 1444.03020 J. Log. Comput. 29, No. 7, 1015-1040 (2019). MSC: 03B42 03B48 03B25 68T27 68T42 PDF BibTeX XML Cite \textit{A. Achimescu} et al., J. Log. Comput. 29, No. 7, 1015--1040 (2019; Zbl 1444.03020) Full Text: DOI Link OpenURL
Hella, Lauri; Kuusisto, Antti; Meier, Arne; Virtema, Jonni Model checking and validity in propositional and modal inclusion logics. (English) Zbl 1475.68187 J. Log. Comput. 29, No. 5, 605-630 (2019). Reviewer: Martin Lange (Kassel) MSC: 68Q60 03B45 03B60 03B70 68Q25 PDF BibTeX XML Cite \textit{L. Hella} et al., J. Log. Comput. 29, No. 5, 605--630 (2019; Zbl 1475.68187) Full Text: DOI Link OpenURL
Iemhoff, Rosalie Uniform interpolation and the existence of sequent calculi. (English) Zbl 1475.03078 Ann. Pure Appl. Logic 170, No. 11, Article ID 102711, 33 p. (2019). Reviewer: Emil Jeřábek (Praha) MSC: 03B45 03B55 03B20 03F05 03F07 PDF BibTeX XML Cite \textit{R. Iemhoff}, Ann. Pure Appl. Logic 170, No. 11, Article ID 102711, 33 p. (2019; Zbl 1475.03078) Full Text: DOI Link OpenURL
Badia, Guillermo Incompactness of the \(\forall_1\) fragment of basic second order propositional relevant logic. (English) Zbl 1456.03039 Australas. J. Log. 16, No. 1, 1-8 (2019). MSC: 03B47 PDF BibTeX XML Cite \textit{G. Badia}, Australas. J. Log. 16, No. 1, 1--8 (2019; Zbl 1456.03039) Full Text: DOI OpenURL
Shtakser, Gennady Propositional epistemic logics with quantification over agents of knowledge (an alternative approach). (English) Zbl 07100701 Stud. Log. 107, No. 4, 753-780 (2019). MSC: 03-XX PDF BibTeX XML Cite \textit{G. Shtakser}, Stud. Log. 107, No. 4, 753--780 (2019; Zbl 07100701) Full Text: DOI OpenURL
Holliday, Wesley H. A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers. (English) Zbl 07096540 Notre Dame J. Formal Logic 60, No. 2, 311-332 (2019). MSC: 03B45 03B42 03B44 03F45 03C80 03G05 PDF BibTeX XML Cite \textit{W. H. Holliday}, Notre Dame J. Formal Logic 60, No. 2, 311--332 (2019; Zbl 07096540) Full Text: DOI Euclid OpenURL
Grädel, Erich; Grohe, Martin; Pago, Benedikt; Pakusa, Wied A finite-model-theoretic view on propositional proof complexity. (English) Zbl 1451.03023 Log. Methods Comput. Sci. 15, No. 1, Paper No. 4, 53 p. (2019). MSC: 03C13 03F20 68Q19 PDF BibTeX XML Cite \textit{E. Grädel} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 4, 53 p. (2019; Zbl 1451.03023) Full Text: arXiv OpenURL
Aguzzoli, Stefano; Bianchi, Matteo; Gerla, Brunella; Valota, Diego Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics. (English) Zbl 1454.03035 Int. J. Approx. Reasoning 104, 57-74 (2019). MSC: 03B52 PDF BibTeX XML Cite \textit{S. Aguzzoli} et al., Int. J. Approx. Reasoning 104, 57--74 (2019; Zbl 1454.03035) Full Text: DOI OpenURL
Knuuttila, Simo Questions of epistemic logic in Hintikka. (English) Zbl 1437.03068 van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 413-431 (2018). MSC: 03B42 03-03 01A60 PDF BibTeX XML Cite \textit{S. Knuuttila}, Outst. Contrib. Log. 12, 413--431 (2018; Zbl 1437.03068) Full Text: DOI OpenURL
Aloni, Maria Knowing-who in quantified epistemic logic. (English) Zbl 1437.03055 van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 109-129 (2018). MSC: 03B42 PDF BibTeX XML Cite \textit{M. Aloni}, Outst. Contrib. Log. 12, 109--129 (2018; Zbl 1437.03055) Full Text: DOI Link OpenURL
Ding, Yifeng On the logics with propositional quantifiers extending S5\(\Pi\). (English) Zbl 1418.03079 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 219-235 (2018). MSC: 03B45 03G25 PDF BibTeX XML Cite \textit{Y. Ding}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 219--235 (2018; Zbl 1418.03079) OpenURL
Ciardelli, Ivano Dependence statements are strict conditionals. (English) Zbl 1418.03046 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 123-142 (2018). MSC: 03B42 03B05 PDF BibTeX XML Cite \textit{I. Ciardelli}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 123--142 (2018; Zbl 1418.03046) OpenURL
Tzouvaras, Athanassios Propositional superposition logic. (English) Zbl 1499.03005 Log. J. IGPL 26, No. 1, 149-190 (2018). MSC: 03B05 03B60 PDF BibTeX XML Cite \textit{A. Tzouvaras}, Log. J. IGPL 26, No. 1, 149--190 (2018; Zbl 1499.03005) Full Text: DOI OpenURL
McKay, Craig Graham On the negative disjunction property. (English) Zbl 1455.03035 Australas. J. Log. 15, No. 1, 19-24 (2018). MSC: 03B55 03B05 03B20 PDF BibTeX XML Cite \textit{C. G. McKay}, Australas. J. Log. 15, No. 1, 19--24 (2018; Zbl 1455.03035) Full Text: DOI OpenURL
Stephanou, Yannis A propositional theory of truth. (English) Zbl 1455.03010 Notre Dame J. Formal Logic 59, No. 4, 503-545 (2018). MSC: 03A05 03B20 03B50 PDF BibTeX XML Cite \textit{Y. Stephanou}, Notre Dame J. Formal Logic 59, No. 4, 503--545 (2018; Zbl 1455.03010) Full Text: DOI Euclid OpenURL
Trueman, Robert The prenective view of propositional content. (English) Zbl 1398.03044 Synthese 195, No. 4, 1799-1825 (2018). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{R. Trueman}, Synthese 195, No. 4, 1799--1825 (2018; Zbl 1398.03044) Full Text: DOI Link OpenURL
Chlebowski, Szymon Sequent calculi for \(\mathsf{SCI}\). (English) Zbl 1437.03165 Stud. Log. 106, No. 3, 541-563 (2018). MSC: 03F07 03F05 03F03 03B60 PDF BibTeX XML Cite \textit{S. Chlebowski}, Stud. Log. 106, No. 3, 541--563 (2018; Zbl 1437.03165) Full Text: DOI OpenURL
Beziau, Jean-Yves Is the principle of contradiction a consequence of \(x^2=x\)? (English) Zbl 1408.03003 Log. Univers. 12, No. 1-2, 55-81 (2018). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 00A30 01A55 03B53 03B22 03B05 03B10 03G05 PDF BibTeX XML Cite \textit{J.-Y. Beziau}, Log. Univers. 12, No. 1--2, 55--81 (2018; Zbl 1408.03003) Full Text: DOI OpenURL
Cameron, Alex Extremal numbers for directed hypergraphs with two edges. (English) Zbl 1392.05048 Electron. J. Comb. 25, No. 1, Research Paper P1.56, 60 p. (2018). MSC: 05C20 05C35 05C65 05D99 03B05 03B42 PDF BibTeX XML Cite \textit{A. Cameron}, Electron. J. Comb. 25, No. 1, Research Paper P1.56, 60 p. (2018; Zbl 1392.05048) Full Text: Link OpenURL
Porello, Daniele Logics for modelling collective attitudes. (English) Zbl 1386.68162 Fundam. Inform. 158, No. 1-3, 239-275 (2018). MSC: 68T27 68T42 91B14 PDF BibTeX XML Cite \textit{D. Porello}, Fundam. Inform. 158, No. 1--3, 239--275 (2018; Zbl 1386.68162) Full Text: DOI arXiv OpenURL
Shtakser, Gennady Propositional epistemic logics with quantification over agents of knowledge. (English) Zbl 1437.03074 Stud. Log. 106, No. 2, 311-344 (2018). MSC: 03B42 PDF BibTeX XML Cite \textit{G. Shtakser}, Stud. Log. 106, No. 2, 311--344 (2018; Zbl 1437.03074) Full Text: DOI OpenURL
Campbell, Douglas I. Doxastic desire and attitudinal monism. (English) Zbl 06853389 Synthese 195, No. 3, 1139-1161 (2018). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{D. I. Campbell}, Synthese 195, No. 3, 1139--1161 (2018; Zbl 06853389) Full Text: DOI OpenURL
Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert Complexity of propositional logics in team semantic. (English) Zbl 1407.68291 ACM Trans. Comput. Log. 19, No. 1, Article No. 2, 14 p. (2018). MSC: 68Q60 03B70 68Q17 PDF BibTeX XML Cite \textit{M. Hannula} et al., ACM Trans. Comput. Log. 19, No. 1, Article No. 2, 14 p. (2018; Zbl 1407.68291) Full Text: DOI Link OpenURL
Boričić, Marija A note on entropy of logic. (English) Zbl 1474.03080 Yugosl. J. Oper. Res. 27, No. 3, 385-390 (2017). MSC: 03B50 94A17 37A35 PDF BibTeX XML Cite \textit{M. Boričić}, Yugosl. J. Oper. Res. 27, No. 3, 385--390 (2017; Zbl 1474.03080) Full Text: DOI OpenURL
Grädel, Erich; Pago, Benedikt; Pakusa, Wied The model-theoretic expressiveness of propositional proof systems. (English) Zbl 1434.03132 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 27, 18 p. (2017). MSC: 03F20 03C13 PDF BibTeX XML Cite \textit{E. Grädel} et al., LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 27, 18 p. (2017; Zbl 1434.03132) Full Text: DOI OpenURL
Sedlár, Igor Non-classical PDL on the cheap. (English) Zbl 1418.03143 Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 239-255 (2017). MSC: 03B70 03B50 03B25 68Q60 PDF BibTeX XML Cite \textit{I. Sedlár}, in: The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2016. London: College Publications. 239--255 (2017; Zbl 1418.03143) OpenURL
Yokomizo, Kyohei A separable axiomatization of the Gabbay-de Jongh logics. (English) Zbl 1405.03070 Log. J. IGPL 25, No. 3, 365-380 (2017). MSC: 03B55 03B05 03B20 PDF BibTeX XML Cite \textit{K. Yokomizo}, Log. J. IGPL 25, No. 3, 365--380 (2017; Zbl 1405.03070) Full Text: DOI OpenURL
Lewitzka, Steffen Epistemic extensions of combined classical and intuitionistic propositional logic. (English) Zbl 1405.03041 Log. J. IGPL 25, No. 3, 309-324 (2017). MSC: 03B42 03B05 03B20 03B45 PDF BibTeX XML Cite \textit{S. Lewitzka}, Log. J. IGPL 25, No. 3, 309--324 (2017; Zbl 1405.03041) Full Text: DOI arXiv OpenURL
Bergstra, J. A.; Middelburg, C. A. Contradiction-tolerant process algebra with propositional signals. (English) Zbl 1377.68143 Fundam. Inform. 153, No. 1-2, 29-55 (2017). MSC: 68Q85 03B53 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Fundam. Inform. 153, No. 1--2, 29--55 (2017; Zbl 1377.68143) Full Text: DOI arXiv OpenURL
Caleiro, Carlos; Marcelino, Sérgio; Marcos, João Merging fragments of classical logic. (English) Zbl 1495.03009 Dixon, Clare (ed.) et al., Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10483, 298-315 (2017). MSC: 03B05 03B62 PDF BibTeX XML Cite \textit{C. Caleiro} et al., Lect. Notes Comput. Sci. 10483, 298--315 (2017; Zbl 1495.03009) Full Text: DOI arXiv OpenURL
Avron, Arnon Self-extensional three-valued paraconsistent logics. (English) Zbl 1420.03042 Log. Univers. 11, No. 3, 297-315 (2017). MSC: 03B53 03B50 03F05 PDF BibTeX XML Cite \textit{A. Avron}, Log. Univers. 11, No. 3, 297--315 (2017; Zbl 1420.03042) Full Text: DOI OpenURL
Feng, Shiguang; Lohrey, Markus; Quaas, Karin Path checking for MTL and TPTL over data words. (English) Zbl 1459.68118 Log. Methods Comput. Sci. 13, No. 3, Paper No. 19, 34 p. (2017). MSC: 68Q60 03B44 68Q17 68Q45 PDF BibTeX XML Cite \textit{S. Feng} et al., Log. Methods Comput. Sci. 13, No. 3, Paper No. 19, 34 p. (2017; Zbl 1459.68118) Full Text: DOI arXiv OpenURL
Aguzzoli, Stefano; Bianchi, Matteo; Gerla, Brunella; Valota, Diego Probability measures in \(\text{Gödel}_\varDelta\) logic. (English) Zbl 1496.03096 Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 353-363 (2017). MSC: 03B50 03G25 PDF BibTeX XML Cite \textit{S. Aguzzoli} et al., Lect. Notes Comput. Sci. 10369, 353--363 (2017; Zbl 1496.03096) Full Text: DOI OpenURL
Agudelo-Agudelo, Juan C. Translating non-classical logics into classical logic by using hidden variables. (English) Zbl 1420.03020 Log. Univers. 11, No. 2, 205-224 (2017). MSC: 03B22 03B47 03B50 03B53 03B20 03B05 PDF BibTeX XML Cite \textit{J. C. Agudelo-Agudelo}, Log. Univers. 11, No. 2, 205--224 (2017; Zbl 1420.03020) Full Text: DOI OpenURL
Yang, Fan; Väänänen, Jouko Propositional team logics. (English) Zbl 1422.03058 Ann. Pure Appl. Logic 168, No. 7, 1406-1441 (2017). MSC: 03B60 03B70 03B05 68P15 PDF BibTeX XML Cite \textit{F. Yang} and \textit{J. Väänänen}, Ann. Pure Appl. Logic 168, No. 7, 1406--1441 (2017; Zbl 1422.03058) Full Text: DOI arXiv Link OpenURL
Akrami, Musa From logic in Islam to Islamic logic. (English) Zbl 1378.01003 Log. Univers. 11, No. 1, 61-83 (2017). Reviewer: V. N. Saliĭ (Saratov) MSC: 01A30 03-03 03A99 03B05 03B42 PDF BibTeX XML Cite \textit{M. Akrami}, Log. Univers. 11, No. 1, 61--83 (2017; Zbl 1378.01003) Full Text: DOI OpenURL
Gagliardi Cozman, Fabio; Deratani Mauá, Denis On the complexity of propositional and relational credal networks. (English) Zbl 1404.68161 Int. J. Approx. Reasoning 83, 298-319 (2017). MSC: 68T37 68Q25 68Q60 PDF BibTeX XML Cite \textit{F. Gagliardi Cozman} and \textit{D. Deratani Mauá}, Int. J. Approx. Reasoning 83, 298--319 (2017; Zbl 1404.68161) Full Text: DOI OpenURL
Zhang, Xiaoming; Duan, Zhenhua; Tian, Cong PPTL_SPIN: a SPIN based model checker for propositional projection temporal logic. (English) Zbl 1461.68124 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9559, 195-205 (2016). MSC: 68Q60 03B44 03D05 68Q45 PDF BibTeX XML Cite \textit{X. Zhang} et al., Lect. Notes Comput. Sci. 9559, 195--205 (2016; Zbl 1461.68124) Full Text: DOI OpenURL
Akama, Seiki A survey of annotated logics. (English) Zbl 1429.03100 Akama, Seiki (ed.), Towards paraconsistent engineering. Cham: Springer. Intell. Syst. Ref. Libr. 110, 49-76 (2016). MSC: 03B53 03B05 PDF BibTeX XML Cite \textit{S. Akama}, Intell. Syst. Ref. Libr. 110, 49--76 (2016; Zbl 1429.03100) Full Text: DOI OpenURL
Yang, Syraya Chin-Mu Common knowledge and the knowledge account of assertion. (English) Zbl 1429.03072 Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 253-278 (2016). MSC: 03B42 03A05 PDF BibTeX XML Cite \textit{S. C. M. Yang}, in: Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24--25, 2014. Berlin: Springer. 253--278 (2016; Zbl 1429.03072) Full Text: DOI OpenURL
Ciardelli, Ivano Dependency as question entailment. (English) Zbl 1429.03112 Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 129-181 (2016). MSC: 03B60 03B47 03F03 PDF BibTeX XML Cite \textit{I. Ciardelli}, in: Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on `Dependence logic: theory and applications', Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 129--181 (2016; Zbl 1429.03112) Full Text: DOI OpenURL
Fritz, Peter Post completeness in congruential modal logics. (English) Zbl 1400.03041 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 288-301 (2016). MSC: 03B45 PDF BibTeX XML Cite \textit{P. Fritz}, in: Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 -- September 2, 2016. London: College Publications. 288--301 (2016; Zbl 1400.03041) OpenURL
Balbiani, Philippe; Galmiche, Didier About intuitionistic public announcement logic. (English) Zbl 1400.03026 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 97-116 (2016). MSC: 03B42 03B20 PDF BibTeX XML Cite \textit{P. Balbiani} and \textit{D. Galmiche}, in: Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 -- September 2, 2016. London: College Publications. 97--116 (2016; Zbl 1400.03026) OpenURL
Milne, Peter A non-classical refinement of the interpolation property for classical propositional logic. (English) Zbl 1396.03047 Log. Anal., Nouv. Sér. 59, No. 235, 273-281 (2016). MSC: 03B50 03B05 03B53 03C40 PDF BibTeX XML Cite \textit{P. Milne}, Log. Anal., Nouv. Sér. 59, No. 235, 273--281 (2016; Zbl 1396.03047) Full Text: DOI OpenURL
Das, Anupam; Straßburger, Lutz On linear rewriting systems for Boolean logic and some applications to proof theory. (English) Zbl 1445.03069 Log. Methods Comput. Sci. 12, No. 4, Paper No. 9, 27 p. (2016). MSC: 03F52 03F20 03B05 68Q42 68Q17 PDF BibTeX XML Cite \textit{A. Das} and \textit{L. Straßburger}, Log. Methods Comput. Sci. 12, No. 4, Paper No. 9, 27 p. (2016; Zbl 1445.03069) Full Text: DOI arXiv OpenURL
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra Multi-type display calculus for propositional dynamic logic. (English) Zbl 1403.03025 J. Log. Comput. 26, No. 6, 2067-2104 (2016). MSC: 03B42 03F03 03F05 PDF BibTeX XML Cite \textit{S. Frittella} et al., J. Log. Comput. 26, No. 6, 2067--2104 (2016; Zbl 1403.03025) Full Text: DOI arXiv OpenURL
Ferguson, Thomas Macaulay Faulty Belnap computers and subsystems of FDE. (English) Zbl 1403.03037 J. Log. Comput. 26, No. 5, 1617-1636 (2016). MSC: 03B47 03B35 PDF BibTeX XML Cite \textit{T. M. Ferguson}, J. Log. Comput. 26, No. 5, 1617--1636 (2016; Zbl 1403.03037) Full Text: DOI OpenURL
Martínez, Iveth; Piza, Eduardo Decision problems and recursiveness in formal logic systems. (Spanish. English summary) Zbl 1352.03049 Rev. Mat. Teor. Apl. 23, No. 1, 11-39 (2016). MSC: 03D80 03D03 03D25 03B05 PDF BibTeX XML Cite \textit{I. Martínez} and \textit{E. Piza}, Rev. Mat. Teor. Apl. 23, No. 1, 11--39 (2016; Zbl 1352.03049) OpenURL
Citkin, Alex Algebraic logic perspective on Prucnal’s substitution. (English) Zbl 1403.03046 Notre Dame J. Formal Logic 57, No. 4, 503-521 (2016). MSC: 03B55 03B60 03G27 03G25 PDF BibTeX XML Cite \textit{A. Citkin}, Notre Dame J. Formal Logic 57, No. 4, 503--521 (2016; Zbl 1403.03046) Full Text: DOI Euclid OpenURL
Iemhoff, Rosalie; Yang, Fan Structural completeness in propositional logics of dependence. (English) Zbl 1358.03037 Arch. Math. Logic 55, No. 7-8, 955-975 (2016). Reviewer: Alex Citkin (Warren) MSC: 03B60 03B55 PDF BibTeX XML Cite \textit{R. Iemhoff} and \textit{F. Yang}, Arch. Math. Logic 55, No. 7--8, 955--975 (2016; Zbl 1358.03037) Full Text: DOI arXiv OpenURL
Kaminski, Michael; Francez, Nissim The Lambek calculus extended with intuitionistic propositional logic. (English) Zbl 1417.03165 Stud. Log. 104, No. 5, 1051-1082 (2016). MSC: 03B47 03B20 03B05 03F03 PDF BibTeX XML Cite \textit{M. Kaminski} and \textit{N. Francez}, Stud. Log. 104, No. 5, 1051--1082 (2016; Zbl 1417.03165) Full Text: DOI OpenURL
Padon, Oded; Immerman, Neil; Shoham, Sharon; Karbyshev, Aleksandr; Sagiv, Mooly Decidability of inferring inductive invariants. (English) Zbl 1347.68234 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 217-231 (2016). MSC: 68Q60 03B25 03B70 PDF BibTeX XML Cite \textit{O. Padon} et al., in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 217--231 (2016; Zbl 1347.68234) Full Text: DOI OpenURL
Zhu, Wujia; Li, Wei; Sui, Yuefei; Luo, Jie Sound and complete Gentzen deduction system for intermediate propositional logic. (Chinese. English summary) Zbl 1363.03012 J. Softw. 27, No. 2, 209-218 (2016). MSC: 03B55 03B05 PDF BibTeX XML Cite \textit{W. Zhu} et al., J. Softw. 27, No. 2, 209--218 (2016; Zbl 1363.03012) Full Text: DOI OpenURL
Zhang, Nan; Duan, Zhenhua; Tian, Cong A complete axiom system for propositional projection temporal logic with cylinder computation model. (English) Zbl 1332.68145 Theor. Comput. Sci. 609, Part 3, 639-657 (2016). MSC: 68Q60 03B44 68T15 PDF BibTeX XML Cite \textit{N. Zhang} et al., Theor. Comput. Sci. 609, Part 3, 639--657 (2016; Zbl 1332.68145) Full Text: DOI OpenURL
Duan, Zhenhua; Tian, Cong; Zhang, Nan A canonical form based decision procedure and model checking approach for propositional projection temporal logic. (English) Zbl 1370.68200 Theor. Comput. Sci. 609, Part 3, 544-560 (2016). Reviewer: Martin Lange (Kassel) MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{Z. Duan} et al., Theor. Comput. Sci. 609, Part 3, 544--560 (2016; Zbl 1370.68200) Full Text: DOI OpenURL
Haeusler, Edward Hermann Propositional logics complexity and the sub-formula property. (English) Zbl 1486.03015 Dal Lago, Ugo (ed.) et al., Proceedings of the tenth international workshop on developments of computational models, DCM 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 1-16 (2015). MSC: 03B05 03B42 03B45 03B50 68Q17 PDF BibTeX XML Cite \textit{E. H. Haeusler}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 1--16 (2015; Zbl 1486.03015) Full Text: arXiv Link OpenURL
Zhu, Rui; Liu, Xinwen The minimal system of justification logic with names. (English) Zbl 1429.03123 Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 179-188 (2015). MSC: 03B62 03B42 03B45 PDF BibTeX XML Cite \textit{R. Zhu} and \textit{X. Liu}, in: Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. 179--188 (2015; Zbl 1429.03123) Full Text: DOI OpenURL
Sarrión-Morillo, Enrique LCC-program transformers through Brzozowski’s equations. (English) Zbl 1409.68075 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 116, 220-229 (2015). MSC: 68N30 03B42 03B70 PDF BibTeX XML Cite \textit{E. Sarrión-Morillo}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 116, 220--229 (2015; Zbl 1409.68075) Full Text: Link OpenURL
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio A hybrid qualitative approach for relative movements. (English) Zbl 1407.68466 Log. J. IGPL 23, No. 3, 410-420 (2015). MSC: 68T27 03B70 PDF BibTeX XML Cite \textit{J. Golińska-Pilarek} and \textit{E. Muñoz-Velasco}, Log. J. IGPL 23, No. 3, 410--420 (2015; Zbl 1407.68466) Full Text: DOI OpenURL
Sedlár, Igor Action frames for weak relevant logics. (English) Zbl 1383.03033 Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 267-279 (2015). MSC: 03B47 PDF BibTeX XML Cite \textit{I. Sedlár}, in: The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16--20, 2014. London: College Publications. 267--279 (2015; Zbl 1383.03033) OpenURL
Kurokawa, Hidenori The principle of reflection via nested sequents. (English) Zbl 1379.03016 Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 185-201 (2015). MSC: 03F05 03B53 PDF BibTeX XML Cite \textit{H. Kurokawa}, in: The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16--20, 2014. London: College Publications. 185--201 (2015; Zbl 1379.03016) OpenURL
Bueno, Otávio Can identity be relativized? (English) Zbl 1376.03007 Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 253-262 (2015). MSC: 03A05 03B05 03B60 PDF BibTeX XML Cite \textit{O. Bueno}, in: The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer. 253--262 (2015; Zbl 1376.03007) Full Text: DOI OpenURL
Ma, Minghui; Sano, Katsuhiko On extensions of basic propositional logic. (English) Zbl 1432.03017 Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 170-200 (2015). MSC: 03B05 03B45 03B20 03B60 PDF BibTeX XML Cite \textit{M. Ma} and \textit{K. Sano}, in: Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16--20, 2013. Hackensack, NJ: World Scientific. 170--200 (2015; Zbl 1432.03017) Full Text: DOI OpenURL
Więckowski, Bartosz Constructive belief reports. (English) Zbl 1372.03033 Synthese 192, No. 3, 603-633 (2015). MSC: 03B42 03B15 03F03 PDF BibTeX XML Cite \textit{B. Więckowski}, Synthese 192, No. 3, 603--633 (2015; Zbl 1372.03033) Full Text: DOI OpenURL
Devyatkin, Leonid Yurievich On the ‘classical’ operations in three-valued logics. (English) Zbl 1370.03031 Log. Issled. 21, No. 2, 61-69 (2015). MSC: 03B50 PDF BibTeX XML Cite \textit{L. Y. Devyatkin}, Log. Issled. 21, No. 2, 61--69 (2015; Zbl 1370.03031) OpenURL
Cholvy, Laurence Towards a logical belief function theory. (English) Zbl 1378.03013 J. Appl. Log. 13, No. 4, Part 1, 441-457 (2015). MSC: 03B42 68T27 68T37 PDF BibTeX XML Cite \textit{L. Cholvy}, J. Appl. Log. 13, No. 4, Part 1, 441--457 (2015; Zbl 1378.03013) Full Text: DOI OpenURL
Creignou, Nadia; Ktari, Raïda; Papini, Odile Belief update within propositional fragments. (English) Zbl 1465.68237 Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 165-174 (2015). MSC: 68T27 03B42 68T30 PDF BibTeX XML Cite \textit{N. Creignou} et al., Lect. Notes Comput. Sci. 9161, 165--174 (2015; Zbl 1465.68237) Full Text: DOI HAL OpenURL