×

Found 472 Documents (Results 1–100)

Acts over semigroups. (English. Russian original) Zbl 1517.20092

J. Math. Sci., New York 269, No. 3, 362-401 (2023); translation from Fundam. Prikl. Mat. 23, No. 3, 141-199 (2020).
MSC:  20M30 20M10
PDFBibTeX XMLCite
Full Text: DOI

Serious statements and plans. (English) Zbl 07503170

Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 115-126 (2021).
MSC:  03B65
PDFBibTeX XMLCite

IPO-Q: a quantum-inspired approach to the IPO strategy used in CA generation. (English) Zbl 07441078

Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 313-323 (2020).
MSC:  68-XX 65-XX
PDFBibTeX XMLCite
Full Text: DOI

Axiomatizability of the class of subdirectly irreducible acts over an abelian group. (English. Russian original) Zbl 1487.03053

Algebra Logic 59, No. 5, 395-403 (2020); translation from Algebra Logika 59, No. 5, 582-593 (2020).
MSC:  03C60 20M30
PDFBibTeX XMLCite
Full Text: DOI

“I asked you to mail that letter, not to burn it,” an illocutionary logical analysis of directive acts and arguments. (English) Zbl 1418.03136

Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 169-180 (2018).
MSC:  03B65
PDFBibTeX XMLCite

The larger logical picture. (English) Zbl 1388.03011

Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications (ISBN 978-1-84890-213-8/pbk). 107-115 (2016).
MSC:  03A05 03B65
PDFBibTeX XMLCite

State-dependent utilities. (English) Zbl 1384.03116

Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 441-455 (2016).
MSC:  03B48 91B06 62A01
PDFBibTeX XMLCite
Full Text: DOI

Context-dependent utilities. A solution to the problem of constant acts in Savage. (English) Zbl 1471.91151

van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9394, 90-101 (2015).
MSC:  91B16 91B06
PDFBibTeX XMLCite
Full Text: DOI

First-person logical theories and third-person logical theories. (English) Zbl 1383.03012

Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 77-89 (2014).
MSC:  03A05 03B65
PDFBibTeX XMLCite

Coalgebraic update lenses. (English) Zbl 1337.68084

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 25-48, electronic only (2014).
MSC:  68P15 18C15 18C20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software