Bamberg, John; Penttila, Tim Simpler foundations for the hyperbolic plane. (English) Zbl 1523.51004 Forum Math. 35, No. 5, 1301-1325 (2023). Reviewer: Victor V. Pambuccian (Glendale) MSC: 51A20 51A30 51A45 51G05 51M10 PDFBibTeX XMLCite \textit{J. Bamberg} and \textit{T. Penttila}, Forum Math. 35, No. 5, 1301--1325 (2023; Zbl 1523.51004) Full Text: DOI arXiv
Piedeleu, Robin; Zanasi, Fabio A finite axiomatisation of finite-state automata using string diagrams. (English) Zbl 07667086 Log. Methods Comput. Sci. 19, No. 1, Paper No. 13, 38 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. Piedeleu} and \textit{F. Zanasi}, Log. Methods Comput. Sci. 19, No. 1, Paper No. 13, 38 p. (2023; Zbl 07667086) Full Text: DOI arXiv
Boisseau, Guillaume; Piedeleu, Robin Graphical piecewise-linear algebra. (English) Zbl 07793025 Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 101-119 (2022). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{G. Boisseau} and \textit{R. Piedeleu}, Lect. Notes Comput. Sci. 13242, 101--119 (2022; Zbl 07793025) Full Text: DOI arXiv
Egrot, Rob; Hirsch, Robin First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth. (English) Zbl 1518.03016 J. Symb. Log. 87, No. 3, 1283-1300 (2022). Reviewer: Roger Maddux (Ames) MSC: 03G15 05C90 PDFBibTeX XMLCite \textit{R. Egrot} and \textit{R. Hirsch}, J. Symb. Log. 87, No. 3, 1283--1300 (2022; Zbl 1518.03016) Full Text: DOI arXiv
Madarász, Judit X.; Stannett, Mike; Székely, Gergely Investigations of isotropy and homogeneity of spacetime in first-order logic. (English) Zbl 07566288 Ann. Pure Appl. Logic 173, No. 9, Article ID 103153, 35 p. (2022). MSC: 03B30 83A05 03B10 03B80 PDFBibTeX XMLCite \textit{J. X. Madarász} et al., Ann. Pure Appl. Logic 173, No. 9, Article ID 103153, 35 p. (2022; Zbl 07566288) Full Text: DOI
Borlido, Célia; McLean, Brett Difference-restriction algebras of partial functions: axiomatisations and representations. (English) Zbl 07556313 Algebra Univers. 83, No. 3, Paper No. 24, 27 p. (2022). MSC: 03G10 06A12 06E75 PDFBibTeX XMLCite \textit{C. Borlido} and \textit{B. McLean}, Algebra Univers. 83, No. 3, Paper No. 24, 27 p. (2022; Zbl 07556313) Full Text: DOI arXiv
Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Pedersen, Mathias Ruggaard On the axiomatisability of parallel composition. (English) Zbl 07471704 Log. Methods Comput. Sci. 18, No. 1, Paper No. 15, 51 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{L. Aceto} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 15, 51 p. (2022; Zbl 07471704) Full Text: arXiv Link
Kellerman, Ruaan; Goranko, Valentin Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. (English) Zbl 1509.03116 J. Symb. Log. 86, No. 3, 1035-1065 (2021). MSC: 03C65 05C05 06A05 PDFBibTeX XMLCite \textit{R. Kellerman} and \textit{V. Goranko}, J. Symb. Log. 86, No. 3, 1035--1065 (2021; Zbl 1509.03116) Full Text: DOI
Piedeleu, Robin; Zanasi, Fabio A string diagrammatic axiomatisation of finite-state automata. (English) Zbl 07410439 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 469-489 (2021). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{R. Piedeleu} and \textit{F. Zanasi}, Lect. Notes Comput. Sci. 12650, 469--489 (2021; Zbl 07410439) Full Text: DOI arXiv
Hirsch, Robin; Stokes, Tim Axioms for signatures with domain and demonic composition. (English) Zbl 1476.03086 Algebra Univers. 82, No. 2, Paper No. 24, 19 p. (2021). Reviewer: Grigori I. Zhitomirski (Herzliyya) MSC: 03G15 06F05 08A02 20M20 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{T. Stokes}, Algebra Univers. 82, No. 2, Paper No. 24, 19 p. (2021; Zbl 1476.03086) Full Text: DOI
Haffner, Emmylou; Schlimm, Dirk Dedekind on continuity. (English) Zbl 1464.01010 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 255-282 (2021). Reviewer: Thomas Sonar (Braunschweig) MSC: 01A55 01A60 03-03 26-03 00A30 PDFBibTeX XMLCite \textit{E. Haffner} and \textit{D. Schlimm}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 255--282 (2021; Zbl 1464.01010) Full Text: DOI
Brunet, Paul A complete axiomatisation of a fragment of language algebra. (English) Zbl 07650824 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 11, 15 p. (2020). MSC: 68-XX 03B70 PDFBibTeX XMLCite \textit{P. Brunet}, LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 11, 15 p. (2020; Zbl 07650824) Full Text: DOI arXiv
Herzig, Andreas; Perrotin, Elise On the axiomatisation of common knowledge. (English) Zbl 07585720 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. 309-328 (2020). MSC: 03B45 PDFBibTeX XMLCite \textit{A. Herzig} and \textit{E. Perrotin}, 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. 309--328 (2020; Zbl 07585720)
Goranko, Valentin The modal logic of almost sure frame validities in the finite. (English) Zbl 07585717 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. 249-268 (2020). MSC: 03B45 PDFBibTeX XMLCite \textit{V. Goranko}, 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. 249--268 (2020; Zbl 07585717)
Timmers, Ferry; Groote, Jan Friso A complete axiomatisation for probabilistic trace equivalence. (English) Zbl 1513.68037 Sci. Ann. Comput. Sci. 30, No. 1, 69-104 (2020). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{F. Timmers} and \textit{J. F. Groote}, Sci. Ann. Comput. Sci. 30, No. 1, 69--104 (2020; Zbl 1513.68037) Full Text: DOI
Liu, Xinxin; Yu, Tingting Canonical solutions to recursive equations and completeness of equational axiomatisations. (English) Zbl 07559491 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{X. Liu} and \textit{T. Yu}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020; Zbl 07559491) Full Text: DOI
Wagemaker, Jana; Brunet, Paul; Docherty, Simon; Kappé, Tobias; Rot, Jurriaan; Silva, Alexandra Partially observable concurrent Kleene algebra. (English) Zbl 07559476 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 20, 22 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Wagemaker} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 20, 22 p. (2020; Zbl 07559476) Full Text: DOI arXiv
Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Pedersen, Mathias Ruggaard On the axiomatisability of parallel composition: a journey in the spectrum. (English) Zbl 07559474 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 18, 22 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 18, 22 p. (2020; Zbl 07559474) Full Text: DOI
Abbadini, Marco Operations that preserve integrability, and truncated Riesz spaces. (English) Zbl 1484.46006 Forum Math. 32, No. 6, 1487-1513 (2020). MSC: 46A40 06F20 08A65 08B20 46E30 PDFBibTeX XMLCite \textit{M. Abbadini}, Forum Math. 32, No. 6, 1487--1513 (2020; Zbl 1484.46006) Full Text: DOI arXiv
Kappé, Tobias; Brunet, Paul; Rot, Jurriaan; Silva, Alexandra; Wagemaker, Jana; Zanasi, Fabio Kleene algebra with observations. (English) Zbl 07649949 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 41, 16 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Kappé} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 41, 16 p. (2019; Zbl 07649949) Full Text: DOI arXiv
Belder, Astrid; Luttik, Bas; Baeten, Jos Sequencing and intermediate acceptance: axiomatisation and decidability of bisimilarity. (English) Zbl 07649894 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 11, 22 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Belder} et al., LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 11, 22 p. (2019; Zbl 07649894) Full Text: DOI
Fischer, Nick; van Glabbeek, Rob Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. (English) Zbl 1408.68101 J. Log. Algebr. Methods Program. 102, 64-102 (2019). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{N. Fischer} and \textit{R. van Glabbeek}, J. Log. Algebr. Methods Program. 102, 64--102 (2019; Zbl 1408.68101) Full Text: DOI arXiv
Mio, Matteo Riesz modal logic with threshold operators. (English) Zbl 1453.03017 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 710-719 (2018). MSC: 03B45 03B48 PDFBibTeX XMLCite \textit{M. Mio}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 710--719 (2018; Zbl 1453.03017) Full Text: DOI
Wang, Yanjing; Seligman, Jeremy When names are not commonly known: epistemic logic with assignments. (English) Zbl 1418.03060 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. 611-628 (2018). MSC: 03B42 PDFBibTeX XMLCite \textit{Y. Wang} and \textit{J. Seligman}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 611--628 (2018; Zbl 1418.03060) Full Text: arXiv
Das, Anupam; Doumane, Amina; Pous, Damien Left-handed completeness for Kleene algebra, via cyclic proofs. (English) Zbl 1415.68124 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 271-289 (2018). MSC: 68Q45 03B70 PDFBibTeX XMLCite \textit{A. Das} et al., EPiC Ser. Comput. 57, 271--289 (2018; Zbl 1415.68124) Full Text: DOI
Balbiani, Philippe; Boudou, Joseph Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization. (English) Zbl 1444.03109 J. Log. Comput. 28, No. 4, 705-731 (2018). MSC: 03B70 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{J. Boudou}, J. Log. Comput. 28, No. 4, 705--731 (2018; Zbl 1444.03109) Full Text: DOI
Nguyen, Hoang Nga; Alechina, Natasha; Logan, Brian; Rakib, Abdur Alternating-time temporal logic with resource bounds. (English) Zbl 1444.03037 J. Log. Comput. 28, No. 4, 631-663 (2018). MSC: 03B44 68T27 68Q60 PDFBibTeX XMLCite \textit{H. N. Nguyen} et al., J. Log. Comput. 28, No. 4, 631--663 (2018; Zbl 1444.03037) Full Text: DOI
Davey, Brian A.; Pitkethly, Jane G.; Willard, Ross New-from-old full dualities via axiomatisation. (English) Zbl 1469.08003 Ann. Pure Appl. Logic 169, No. 7, 588-615 (2018). MSC: 08C20 08C05 08C15 03C07 PDFBibTeX XMLCite \textit{B. A. Davey} et al., Ann. Pure Appl. Logic 169, No. 7, 588--615 (2018; Zbl 1469.08003) Full Text: DOI arXiv
Cosme-Llópez, Enric; Pous, Damien \(K_4\)-free graphs as a free algebra. (English) Zbl 1445.05099 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 76, 14 p. (2017). MSC: 05C83 05C75 08B20 08A99 68R10 PDFBibTeX XMLCite \textit{E. Cosme-Llópez} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 76, 14 p. (2017; Zbl 1445.05099) Full Text: DOI
Bair, J.; Blaszczyk, P.; Heinig, P.; Katz, M.; Schafermeyer, J. P.; Sherry, D. Klein vs Mehrtens: restoring the reputation of a great modern. (English) Zbl 1459.01017 Mat. Stud. 48, No. 2, 189-219 (2017). MSC: 01A60 01A85 PDFBibTeX XMLCite \textit{J. Bair} et al., Mat. Stud. 48, No. 2, 189--219 (2017; Zbl 1459.01017) Full Text: DOI arXiv
Corry, Leo Dedekind and Noether: Steht es alles wirklich schon bei Dedekind? Ideals and factorization between Dedekind and Noether. (English) Zbl 1390.01013 Scheel, Katrin (ed.) et al., In memoriam Richard Dedekind (1831–1916). Number theory – algebra – set theory – history – philosophy. Proceedings of the conference, TU Braunschweig, Germany, October 6–8, 2016. Münster: WTM-Verlag (ISBN 978-3-95987-043-6/pbk). Schriften zur Geschichte der Mathematik und ihrer Didaktik 3, 134-159 (2017). Reviewer: Christopher Hollings (Oxford) MSC: 01A55 01A60 13-03 PDFBibTeX XMLCite \textit{L. Corry}, Schr. Gesch. Math. Didakt. 3, 134--159 (2017; Zbl 1390.01013)
McLean, Brett Algebras of multiplace functions for signatures containing antidomain. (English) Zbl 1423.08001 Algebra Univers. 78, No. 2, 215-248 (2017). MSC: 08A05 08A55 08A40 20N15 20M20 PDFBibTeX XMLCite \textit{B. McLean}, Algebra Univers. 78, No. 2, 215--248 (2017; Zbl 1423.08001) Full Text: DOI arXiv
Bezhanishvili, Nick; Galatos, Nick; Spada, Luca Canonical formulas for \(k\)-potent commutative, integral, residuated lattices. (English) Zbl 1420.03147 Algebra Univers. 77, No. 3, 321-343 (2017). MSC: 03G25 03B47 PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., Algebra Univers. 77, No. 3, 321--343 (2017; Zbl 1420.03147) Full Text: DOI arXiv
van Ditmarsch, Hans; Fan, Jie Propositional quantification in logics of contingency. (English) Zbl 1398.03098 J. Appl. Non-Class. Log. 26, No. 1, 81-102 (2016). MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{H. van Ditmarsch} and \textit{J. Fan}, J. Appl. Non-Class. Log. 26, No. 1, 81--102 (2016; Zbl 1398.03098) Full Text: DOI
Aguzzoli, Stefano; Bianchi, Matteo On some questions concerning the axiomatisation of WNM-algebras and their subvarieties. (English) Zbl 1388.03064 Fuzzy Sets Syst. 292, 5-31 (2016). Reviewer: A. Borumand Saeid (Kerman) MSC: 03G25 06D35 06B20 PDFBibTeX XMLCite \textit{S. Aguzzoli} and \textit{M. Bianchi}, Fuzzy Sets Syst. 292, 5--31 (2016; Zbl 1388.03064) Full Text: DOI
Trybus, Adam Rational region-based affine logic of the real plane. (English) Zbl 1367.68294 ACM Trans. Comput. Log. 17, No. 3, Article No. 21, 18 p. (2016). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{A. Trybus}, ACM Trans. Comput. Log. 17, No. 3, Article No. 21, 18 p. (2016; Zbl 1367.68294) Full Text: DOI
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran Probability logics. Probability-based formalization of uncertain reasoning. (English) Zbl 1371.03001 Cham: Springer (ISBN 978-3-319-47011-5/hbk; 978-3-319-47012-2/ebook). xi, 215 p. (2016). Reviewer: Jürgen Landes (München) MSC: 03-02 03B48 60A05 68T37 PDFBibTeX XMLCite \textit{Z. Ognjanović} et al., Probability logics. Probability-based formalization of uncertain reasoning. Cham: Springer (2016; Zbl 1371.03001) Full Text: DOI
Balbiani, Philippe Putting right the wording and the proof of the truth lemma for APAL. (English) Zbl 1398.03069 J. Appl. Non-Class. Log. 25, No. 1, 2-19 (2015). MSC: 03B42 PDFBibTeX XMLCite \textit{P. Balbiani}, J. Appl. Non-Class. Log. 25, No. 1, 2--19 (2015; Zbl 1398.03069) Full Text: DOI
Hirschkoff, Daniel; Madiot, Jean-Marie; Xian, Xu A behavioural theory for a \(\pi\)-calculus with preorders. (English) Zbl 1330.68205 J. Log. Algebr. Methods Program. 84, No. 6, 806-825 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Hirschkoff} et al., J. Log. Algebr. Methods Program. 84, No. 6, 806--825 (2015; Zbl 1330.68205) Full Text: DOI
Aguzzoli, Stefano; Ferraioli, Anna Rita; Gerla, Brunella A note on minimal axiomatisations of some extensions of MTL. (English) Zbl 1315.03034 Fuzzy Sets Syst. 242, 148-153 (2014). MSC: 03B50 03B52 06D35 PDFBibTeX XMLCite \textit{S. Aguzzoli} et al., Fuzzy Sets Syst. 242, 148--153 (2014; Zbl 1315.03034) Full Text: DOI
Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta A Hilbert-style axiomatisation for equational hybrid logic. (English) Zbl 1305.03017 J. Logic Lang. Inf. 23, No. 1, 31-52 (2014). MSC: 03B45 PDFBibTeX XMLCite \textit{L. S. Barbosa} et al., J. Logic Lang. Inf. 23, No. 1, 31--52 (2014; Zbl 1305.03017) Full Text: DOI Link
Lorini, Emiliano Temporal STIT logic and its application to normative reasoning. (English) Zbl 1398.03080 J. Appl. Non-Class. Log. 23, No. 4, 372-399 (2013). MSC: 03B44 03B42 68T27 PDFBibTeX XMLCite \textit{E. Lorini}, J. Appl. Non-Class. Log. 23, No. 4, 372--399 (2013; Zbl 1398.03080) Full Text: DOI
Hirsch, Robin; Mikulás, Szabolcs Ordered domain algebras. (English) Zbl 1284.03275 J. Appl. Log. 11, No. 3, 266-271 (2013). MSC: 03G15 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{S. Mikulás}, J. Appl. Log. 11, No. 3, 266--271 (2013; Zbl 1284.03275) Full Text: DOI
Hines, Peter A categorical analogue of the monoid semiring construction. (English) Zbl 1278.18014 Math. Struct. Comput. Sci. 23, No. 1, 55-94 (2013). Reviewer: Viorel Mihai Gontineac (Iaşi) MSC: 18D20 68N30 68Q55 PDFBibTeX XMLCite \textit{P. Hines}, Math. Struct. Comput. Sci. 23, No. 1, 55--94 (2013; Zbl 1278.18014) Full Text: DOI arXiv
Kurucz, Agi; Marcelino, Sérgio Finite frames for \(\mathrm{K4.3} \times \mathrm{S5}\) are decidable. (English) Zbl 1291.03037 Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 411-436 (2012). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{A. Kurucz} and \textit{S. Marcelino}, in: Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22--25, 2012. London: College Publications. 411--436 (2012; Zbl 1291.03037)
Ravara, António; Resende, Pedro; Vasconcelos, Vasco T. An algebra of behavioural types. (English) Zbl 1260.68277 Inf. Comput. 212, 64-91 (2012). Reviewer: Maciej Koutny (Newcastle upon Tyne) MSC: 68Q85 68Q60 68Q55 68N30 PDFBibTeX XMLCite \textit{A. Ravara} et al., Inf. Comput. 212, 64--91 (2012; Zbl 1260.68277) Full Text: DOI
Sali, Attila; Schewe, Klaus-Dieter Weak functional dependencies on trees with restructuring. (English) Zbl 1265.68038 Acta Cybern. 20, No. 2, 285-329 (2011). MSC: 68P05 68P15 PDFBibTeX XMLCite \textit{A. Sali} and \textit{K.-D. Schewe}, Acta Cybern. 20, No. 2, 285--329 (2011; Zbl 1265.68038) Full Text: DOI
Balbiani, P.; Seban, P. Reasoning about permitted announcements. (English) Zbl 1241.03017 J. Philos. Log. 40, No. 4, 445-472 (2011). Reviewer: David Makinson (London) MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{P. Seban}, J. Philos. Log. 40, No. 4, 445--472 (2011; Zbl 1241.03017) Full Text: DOI
Link, Ebastian On inferences of full first-order hierarchical decompositions. (English) Zbl 1229.68033 Fundam. Inform. 106, No. 2-4, 233-258 (2011). MSC: 68P15 68P05 PDFBibTeX XMLCite \textit{E. Link}, Fundam. Inform. 106, No. 2--4, 233--258 (2011; Zbl 1229.68033) Full Text: DOI
Bergstra, Jan A.; van de Pol, Jaco A calculus for four-valued sequential logic. (English) Zbl 1227.03028 Theor. Comput. Sci. 412, No. 28, 3122-3128 (2011). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B70 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. van de Pol}, Theor. Comput. Sci. 412, No. 28, 3122--3128 (2011; Zbl 1227.03028) Full Text: DOI Link
Skof, Fulvia Giuseppe Peano and mathematical analysis in Italy. (English) Zbl 1222.01054 Skof, Fulvia (ed.), Giuseppe Peano between mathematics and logic. Proceedings of the international conference in honour of Giuseppe Peano on the occasion of the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin, Italy, October 2–3, 2008. Milan: Springer (ISBN 978-88-470-1835-8/pbk; 978-88-470-1836-5/ebook). 1-12 (2011). Reviewer: Gregor Nickel (Siegen) MSC: 01A70 01A60 01A55 03-03 34-03 26-03 11-03 15-03 PDFBibTeX XMLCite \textit{F. Skof}, in: Giuseppe Peano between mathematics and logic. Proceedings of the international conference in honour of Giuseppe Peano on the occasion of the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin, Italy, October 2--3, 2008. Milan: Springer. 1--12 (2011; Zbl 1222.01054)
Kurucz, Agi On the complexity of modal axiomatisations over many-dimensional structures. (English) Zbl 1254.03037 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 256-270 (2010). MSC: 03B45 03G15 PDFBibTeX XMLCite \textit{A. Kurucz}, in: Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24--27, 2010. London: College Publications. 256--270 (2010; Zbl 1254.03037)
Mendler, Michael; Lüttgen, Gerald Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (English) Zbl 1205.68248 Inf. Comput. 208, No. 6, 634-651 (2010). MSC: 68Q85 68T27 PDFBibTeX XMLCite \textit{M. Mendler} and \textit{G. Lüttgen}, Inf. Comput. 208, No. 6, 634--651 (2010; Zbl 1205.68248) Full Text: DOI
Hartmann, Sven; Link, Sebastian Numerical constraints on XML data. (English) Zbl 1200.68079 Inf. Comput. 208, No. 5, 521-544 (2010). MSC: 68P05 PDFBibTeX XMLCite \textit{S. Hartmann} and \textit{S. Link}, Inf. Comput. 208, No. 5, 521--544 (2010; Zbl 1200.68079) Full Text: DOI
van Weerdenburg, Muck Automating soundness proofs. (English) Zbl 1339.68160 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, 107-118 (2009). MSC: 68Q55 68N30 68T15 PDFBibTeX XMLCite \textit{M. van Weerdenburg}, Electron. Notes Theor. Comput. Sci. 229, No. 4, 107--118 (2009; Zbl 1339.68160) Full Text: DOI
Hartmann, Sven; Link, S. Weak functional dependencies: full propositional expressiveness for the database practitioner. (English) Zbl 1216.68087 J. UCS 15, No. 1, 112-156 (2009). MSC: 68P15 03B70 PDFBibTeX XMLCite \textit{S. Hartmann} and \textit{S. Link}, J. UCS 15, No. 1, 112--156 (2009; Zbl 1216.68087) Full Text: Link
Link, Sebastian Spoilt for choice: full first-order hierarchical decompositions. (English) Zbl 1246.68110 Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 256-267 (2009). MSC: 68P15 03B70 PDFBibTeX XMLCite \textit{S. Link}, Lect. Notes Comput. Sci. 5514, 256--267 (2009; Zbl 1246.68110) Full Text: DOI
Aceto, Luca; Capobianco, Silvio; Ingolfsdottir, Anna; Luttik, Bas The equational theory of prebisimilarity over basic CCS with divergence. (English) Zbl 1191.68425 Inf. Process. Lett. 108, No. 5, 284-289 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Inf. Process. Lett. 108, No. 5, 284--289 (2008; Zbl 1191.68425) Full Text: DOI
Platzer, André Differential dynamic logic for hybrid systems. (English) Zbl 1181.03035 J. Autom. Reasoning 41, No. 2, 143-189 (2008); correction ibid. 66, No. 1, 173 (2022). MSC: 03B70 03B35 68Q60 PDFBibTeX XMLCite \textit{A. Platzer}, J. Autom. Reasoning 41, No. 2, 143--189 (2008; Zbl 1181.03035) Full Text: DOI
Ågotnes, Thomas; Walicki, Michal Complete axiomatisations of properties of finite sets. (English) Zbl 1142.03342 Log. J. IGPL 16, No. 3, 293-313 (2008). MSC: 03B60 PDFBibTeX XMLCite \textit{T. Ågotnes} and \textit{M. Walicki}, Log. J. IGPL 16, No. 3, 293--313 (2008; Zbl 1142.03342) Full Text: DOI Link
Deng, Yuxin; Du, Wenjie Probabilistic barbed congruence. (English) Zbl 1279.68255 Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 185-203 (2007). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{Y. Deng} and \textit{W. Du}, Electron. Notes Theor. Comput. Sci. 190, No. 3, 185--203 (2007; Zbl 1279.68255) Full Text: DOI
Hirsch, R. Peirce algebras and Boolean modules. (English) Zbl 1135.03030 J. Log. Comput. 17, No. 2, 255-283 (2007). Reviewer: Nick Bezhanishvili (Leicester) MSC: 03G25 03G15 PDFBibTeX XMLCite \textit{R. Hirsch}, J. Log. Comput. 17, No. 2, 255--283 (2007; Zbl 1135.03030) Full Text: DOI
Kutz, Oliver Notes on logics of metric spaces. (English) Zbl 1121.03028 Stud. Log. 85, No. 1, 75-104 (2007). MSC: 03B45 54E35 PDFBibTeX XMLCite \textit{O. Kutz}, Stud. Log. 85, No. 1, 75--104 (2007; Zbl 1121.03028) Full Text: DOI
Hartmann, Sven; Link, Sebastian; Schewe, Klaus-Dieter Functional and multivalued dependencies in nested databases generated by record and list constructor. (English) Zbl 1097.68553 Ann. Math. Artif. Intell. 46, No. 1-2, 114-164 (2006). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Hartmann} et al., Ann. Math. Artif. Intell. 46, No. 1--2, 114--164 (2006; Zbl 1097.68553) Full Text: DOI
Sali, Attila; Schewe, Klaus-Dieter Counter-free keys and functional dependencies in higher-order datamodels. (English) Zbl 1101.68526 Fundam. Inform. 70, No. 3, 277-301 (2006). MSC: 68P15 PDFBibTeX XMLCite \textit{A. Sali} and \textit{K.-D. Schewe}, Fundam. Inform. 70, No. 3, 277--301 (2006; Zbl 1101.68526)
Hartmann, Sven; Link, Sebastian; Schewe, Klaus-Dieter Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. (English) Zbl 1088.68046 Theor. Comput. Sci. 355, No. 2, 167-196 (2006). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Hartmann} et al., Theor. Comput. Sci. 355, No. 2, 167--196 (2006; Zbl 1088.68046) Full Text: DOI
Hartmann, Sven; Link, Sebastian On a problem of Fagin concerning multivalued dependencies in relational databases. (English) Zbl 1088.68045 Theor. Comput. Sci. 353, No. 1-3, 53-62 (2006). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Hartmann} and \textit{S. Link}, Theor. Comput. Sci. 353, No. 1--3, 53--62 (2006; Zbl 1088.68045) Full Text: DOI
Schewe, K.-D. Functional dependencies with counting on trees. (English) Zbl 1124.68028 J. UCS 11, No. 12, 2063-2075 (2005). MSC: 68P15 68P05 03B70 PDFBibTeX XMLCite \textit{K. D. Schewe}, J. UCS 11, No. 12, 2063--2075 (2005; Zbl 1124.68028) Full Text: Link
Orłowska, Ewa; Vakarelov, Dimiter Lattice-based modal algebras and modal logics. (English) Zbl 1105.03070 Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 147-170 (2005). MSC: 03G25 03B45 PDFBibTeX XMLCite \textit{E. Orłowska} and \textit{D. Vakarelov}, in: Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King's College Publications. 147--170 (2005; Zbl 1105.03070)
Stewart, Charles; Stouppa, Phiniki A systematic proof theory for several modal logics. (English) Zbl 1107.03016 Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 309-333 (2005). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{C. Stewart} and \textit{P. Stouppa}, in: Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9--11, 2004. London: King's College Publications. 309--333 (2005; Zbl 1107.03016)
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger Axiomatising divergence. (English) Zbl 1110.68086 Inf. Comput. 203, No. 2, 115-144 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Lohrey} et al., Inf. Comput. 203, No. 2, 115--144 (2005; Zbl 1110.68086) Full Text: DOI
D’Argenio, Pedro R.; Katoen, Joost-Pieter A theory of stochastic systems. II: Process algebra. (English) Zbl 1106.68073 Inf. Comput. 203, No. 1, 39-74 (2005). MSC: 68Q85 68Q45 68Q55 PDFBibTeX XMLCite \textit{P. R. D'Argenio} and \textit{J.-P. Katoen}, Inf. Comput. 203, No. 1, 39--74 (2005; Zbl 1106.68073) Full Text: DOI
Hartmann, Sven; Link, Sebastian; Schewe, Klaus-Dieter Functional dependencies over XML documents with DTDs. (English) Zbl 1083.68569 Acta Cybern. 17, No. 1, 153-171 (2005). MSC: 68P15 68P05 PDFBibTeX XMLCite \textit{S. Hartmann} et al., Acta Cybern. 17, No. 1, 153--171 (2005; Zbl 1083.68569)
Restall, Greg Constant domain quantified modal logics without Boolean negation. (English) Zbl 1073.03009 Australas. J. Log. 3, 45-62 (2005). MSC: 03B45 03B47 PDFBibTeX XMLCite \textit{G. Restall}, Australas. J. Log. 3, 45--62 (2005; Zbl 1073.03009)
Hodkinson, Ian; Venema, Yde Canonical varieties with no canonical axiomatisation. (English) Zbl 1081.03062 Trans. Am. Math. Soc. 357, No. 11, 4579-4605 (2005). MSC: 03G15 03C05 05C15 05C80 91A43 PDFBibTeX XMLCite \textit{I. Hodkinson} and \textit{Y. Venema}, Trans. Am. Math. Soc. 357, No. 11, 4579--4605 (2005; Zbl 1081.03062) Full Text: DOI
Lange, Martin A quick axiomatisation of LTL with past. (English) Zbl 1058.03023 Math. Log. Q. 51, No. 1, 83-88 (2005). MSC: 03B44 68Q60 PDFBibTeX XMLCite \textit{M. Lange}, Math. Log. Q. 51, No. 1, 83--88 (2005; Zbl 1058.03023) Full Text: DOI
Bignall, R. J.; Spinks, M. Implicative BCS-algebra subreducts of skew Boolean algebras. (English) Zbl 1061.06032 Sci. Math. Jpn. 58, No. 3, 629-638 (2004); corrigendum ibid. 66, No. 3, 387-389 (2007). MSC: 06F35 08B99 08C15 03G25 PDFBibTeX XMLCite \textit{R. J. Bignall} and \textit{M. Spinks}, Sci. Math. Jpn. 58, No. 3, 629--638 (2004; Zbl 1061.06032)
Švejdar, Vítězslav The limit lemma in fragments of arithmetic. (English) Zbl 1098.03067 Commentat. Math. Univ. Carol. 44, No. 3, 565-568 (2003). Reviewer: Marie Duží (Ostrava) MSC: 03F30 03D55 03D20 PDFBibTeX XMLCite \textit{V. Švejdar}, Commentat. Math. Univ. Carol. 44, No. 3, 565--568 (2003; Zbl 1098.03067) Full Text: EuDML EMIS
Palmgren, Erik An intuitionistic axiomatisation of real closed fields. (English) Zbl 1003.03050 Math. Log. Q. 48, No. 2, 297-299 (2002). Reviewer: Pier Luigi Ferrari (Alessandria) MSC: 03F55 03F65 12D15 PDFBibTeX XMLCite \textit{E. Palmgren}, Math. Log. Q. 48, No. 2, 297--299 (2002; Zbl 1003.03050) Full Text: DOI
Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter Process algebra for performance evaluation. (English) Zbl 0992.68149 Theor. Comput. Sci. 274, No. 1-2, 43-87 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Theor. Comput. Sci. 274, No. 1--2, 43--87 (2002; Zbl 0992.68149) Full Text: DOI
Pambuccian, Victor Constructive axiomatization of plane hyperbolic geometry. (English) Zbl 1003.03052 Math. Log. Q. 47, No. 4, 475-488 (2001). Reviewer: Pier Luigi Ferrari (Alessandria) MSC: 03F65 51M10 03B30 PDFBibTeX XMLCite \textit{V. Pambuccian}, Math. Log. Q. 47, No. 4, 475--488 (2001; Zbl 1003.03052) Full Text: DOI
Lin, Francis Y. Events and time in a finite and closed world. (English) Zbl 0963.03026 Nord. J. Philos. Log. 5, No. 1, 3-24 (2000). MSC: 03B44 PDFBibTeX XMLCite \textit{F. Y. Lin}, Nord. J. Philos. Log. 5, No. 1, 3--24 (2000; Zbl 0963.03026) Full Text: DOI
Darnière, L. Nonsingular Hasse principle for rings. (English) Zbl 0959.03021 J. Reine Angew. Math. 529, 75-100 (2000). Reviewer: L.Darnière (Angers) MSC: 03C60 11R04 03C10 03B25 PDFBibTeX XMLCite \textit{L. Darnière}, J. Reine Angew. Math. 529, 75--100 (2000; Zbl 0959.03021) Full Text: DOI
Cegielski, Patrick A foundation of mathematics. (Un fondement des mathématiques.) (French) Zbl 0959.03003 Serfati, Michel (ed.), La recherche de la vérité. Paris: ACL-Les Éditions du Kangourou. L’Écriture des Mathématiques. 175-209 (1999). Reviewer: N.A.Soare (Bucureşti) MSC: 03-03 01A60 03E30 00A30 PDFBibTeX XMLCite \textit{P. Cegielski}, in: La recherche de la vérité. Paris: ACL--Les Éditions du Kangourou. 175--209 (1999; Zbl 0959.03003)
de Groote, Philippe The non-associative Lambek calculus with product in polynomial time. (English) Zbl 0933.03017 Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 128-139 (1999). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B47 03B25 03D15 68Q25 PDFBibTeX XMLCite \textit{P. de Groote}, Lect. Notes Comput. Sci. 1617, 128--139 (1999; Zbl 0933.03017)
Hesketh, Martin; Koutny, Maciej An axiomatisation of duplication equivalence in the Petri box calculus. (English) Zbl 1510.68060 Desel, Jörg (ed.) et al., Application and theory of Petri nets 1998. 19th international conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1420, 165-184 (1998). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Hesketh} and \textit{M. Koutny}, Lect. Notes Comput. Sci. 1420, 165--184 (1998; Zbl 1510.68060) Full Text: DOI
Simonetta, Patrick Elementary equivalence and decidability for structures of a group acting on an abelian group. (Équivalence élémentaire et décidabilité pour des structures du type groupe agissant sur un groupe abélien.) (French) Zbl 0927.03066 J. Symb. Log. 63, No. 4, 1255-1285 (1998). Reviewer: C.Toffalori (Camerino) MSC: 03C60 03B25 20A15 PDFBibTeX XMLCite \textit{P. Simonetta}, J. Symb. Log. 63, No. 4, 1255--1285 (1998; Zbl 0927.03066) Full Text: DOI
Xu, Ming Axioms for deliberative stit. (English) Zbl 0917.03007 J. Philos. Log. 27, No. 5, 505-552 (1998). Reviewer: G.Priest (Brisbane) MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{M. Xu}, J. Philos. Log. 27, No. 5, 505--552 (1998; Zbl 0917.03007) Full Text: DOI
Kaivola, Roope Axiomatising extended computation tree logic. (English) Zbl 0893.68146 Theor. Comput. Sci. 190, No. 1, 41-60 (1998). MSC: 68T27 PDFBibTeX XMLCite \textit{R. Kaivola}, Theor. Comput. Sci. 190, No. 1, 41--60 (1998; Zbl 0893.68146) Full Text: DOI
Dhillon, Amrita; Mertens, Jean-François An impossibility theorem with von Neumann-Morgenstern preferences. (English) Zbl 0896.90008 Econ. Lett. 56, No. 3, 305-309 (1997). MSC: 91B14 PDFBibTeX XMLCite \textit{A. Dhillon} and \textit{J.-F. Mertens}, Econ. Lett. 56, No. 3, 305--309 (1997; Zbl 0896.90008) Full Text: DOI
Reynolds, Mark Axiomatising first-order temporal logic: Until and since over linear time. (English) Zbl 0864.03015 Stud. Log. 57, No. 2-3, 279-302 (1996). Reviewer: A.Tzouvaras (Thessaloniki) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Reynolds}, Stud. Log. 57, No. 2--3, 279--302 (1996; Zbl 0864.03015) Full Text: DOI
Sangiorgi, Davide A theory of bisimulation for the \(\pi\)-calculus. (English) Zbl 0835.68072 Acta Inf. 33, No. 1, 69-97 (1996). Reviewer: D.Sangiorgi (Edinburgh) MSC: 68Q55 68Q10 03B70 68Q60 68Q85 PDFBibTeX XMLCite \textit{D. Sangiorgi}, Acta Inf. 33, No. 1, 69--97 (1996; Zbl 0835.68072) Full Text: DOI
Holland, Samuel S. jun. Orthomodularity in infinite dimensions; a theorem of M. Solèr. (English) Zbl 0856.11021 Bull. Am. Math. Soc., New Ser. 32, No. 2, 205-234 (1995). Reviewer: R.Wallace Garden (Thames) MSC: 11E39 06C15 16W10 51A05 81P10 46C05 03G12 PDFBibTeX XMLCite \textit{S. S. Holland jun.}, Bull. Am. Math. Soc., New Ser. 32, No. 2, 205--234 (1995; Zbl 0856.11021) Full Text: DOI arXiv
Surma, Stan J. An axiomatisation of the conditionals of Post’s many valued logics. (English) Zbl 0827.03012 Math. Log. Q. 41, No. 3, 369-372 (1995). MSC: 03B50 PDFBibTeX XMLCite \textit{S. J. Surma}, Math. Log. Q. 41, No. 3, 369--372 (1995; Zbl 0827.03012) Full Text: DOI
Hájek, Petr; Harmancová, Dagmar; Verbrugge, Rineke A qualitative fuzzy possibilistic logic. (English) Zbl 0819.03017 Int. J. Approx. Reasoning 12, No. 1, 1-19 (1995). Reviewer: S.Gottwald (Leipzig) MSC: 03B52 03B45 03B50 PDFBibTeX XMLCite \textit{P. Hájek} et al., Int. J. Approx. Reasoning 12, No. 1, 1--19 (1995; Zbl 0819.03017) Full Text: DOI
Xu, Ming Decidability of stit theory with a single agent and Refref equivalence. (English) Zbl 0802.03007 Stud. Log. 53, No. 2, 259-298 (1994). Reviewer: G.Priest (Brisbane) MSC: 03B25 03B45 03A05 PDFBibTeX XMLCite \textit{M. Xu}, Stud. Log. 53, No. 2, 259--298 (1994; Zbl 0802.03007) Full Text: DOI
Reynolds, Mark Axiomatisation and decidability of \(F\) and \(P\) in cyclical time. (English) Zbl 0796.03030 J. Philos. Log. 23, No. 2, 197-224 (1994). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{M. Reynolds}, J. Philos. Log. 23, No. 2, 197--224 (1994; Zbl 0796.03030) Full Text: DOI
Boreale, M.; Inverardi, Paola; Nesi, M. Complete sets of axioms for finite basic LOTOS behavioural equivalences. (English) Zbl 0753.68064 Inf. Process. Lett. 43, No. 3, 155-160 (1992). MSC: 68Q60 68N15 68Q10 PDFBibTeX XMLCite \textit{M. Boreale} et al., Inf. Process. Lett. 43, No. 3, 155--160 (1992; Zbl 0753.68064) Full Text: DOI
Grue, Klaus Map theory. (English) Zbl 0805.03044 Theor. Comput. Sci. 102, No. 1, 1-133 (1992). Reviewer: C.Berline (Paris) MSC: 03E70 03B40 03E35 03E30 68Q55 PDFBibTeX XMLCite \textit{K. Grue}, Theor. Comput. Sci. 102, No. 1, 1--133 (1992; Zbl 0805.03044) Full Text: DOI
Szalas, Andrzej; Petermann, Uwe On temporal logic for distributed systems and its application to processes communicating by interrupts. (English) Zbl 0679.03006 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 2, 191-203 (1989). Reviewer: L.Brim MSC: 03B70 68N25 68Q60 03B45 68Q65 PDFBibTeX XMLCite \textit{A. Szalas} and \textit{U. Petermann}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 2, 191--203 (1989; Zbl 0679.03006)