×

Found 1,259 Documents (Results 1–100)

A categorical aspect of the analogy between quantifiers and modalities. (English) Zbl 07740537

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 675-690 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics. (English) Zbl 1531.03100

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 507-529 (2022).
PDFBibTeX XMLCite
Full Text: arXiv

Provability logics of hierarchies. (English) Zbl 1523.03028

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 59-76 (2022).
MSC:  03F45 03B45
PDFBibTeX XMLCite
Full Text: arXiv

Explaining behavioural inequivalence generically in quasilinear time. (English) Zbl 07730634

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 32, 18 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Some modal and temporal translations of generalized basic logic. (English) Zbl 07670518

Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 176-191 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

On the semilattice of modal operators and decompositions of the discriminator. (English) Zbl 1506.03128

Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 207-231 (2021).
MSC:  03G10 03B45 06E25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

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