×

Found 45 Documents (Results 1–45)

100
MathJax

On inverse operators in dynamic epistemic logic. (English) Zbl 07551720

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 217-235 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Unless and until: a compositional analysis. (English) Zbl 1326.03037

Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 190-209 (2015).
MSC:  03B65 03B45
PDF BibTeX XML Cite
Full Text: DOI

A survey of Boolean algebras with operators. (English) Zbl 0811.06012

Rosenberg, Ivo (ed.) et al., Algebras and orders. Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures, Montréal, Canada, July 29 - August 9, 1991. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 389, 239-286 (1993).
PDF BibTeX XML Cite

Handbook of philosophical logic. Volume II: Extensions of classical logic. (English) Zbl 0572.03003

Synthese Library, Vol. 165. Dordrecht - Boston - Lancaster: D. Reidel Publishing Company, a member of the Kluwer Academic Publishers Group. XI, 776 p. Dfl. 267.75; $ 102.00; £68.25 (1984).
Reviewer: S. D. Latow

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification