×

Found 2,902 Documents (Results 1–100)

Semiproducts, products, and modal predicate logics: some examples. (English. Russian original) Zbl 07812324

Dokl. Math. 108, No. 2, 411-418 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 513, 99-107 (2023).
MSC:  03Bxx 03-XX 03Cxx
PDFBibTeX XMLCite
Full Text: DOI

Solving modal logic problems by translation to higher-order logic. (English) Zbl 1528.68393

Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 25-43 (2023).
MSC:  68V15 03B45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modal and justification logics for multi-agent systems (invited talk). (English) Zbl 1528.68363

Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 3-8 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Existential presupposition and logical square. (English) Zbl 07740530

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., 523-533 (2022).
PDFBibTeX XMLCite
Full Text: DOI

An analytic proof system for common knowledge logic over S5. (English) Zbl 07668120

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. 659-679 (2022).
MSC:  03B42 03B45 03F05
PDFBibTeX XMLCite

Intuitionistic modality and Beth semantics. (English) Zbl 07668116

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. 579-599 (2022).
MSC:  03B20 03B45 03B53
PDFBibTeX XMLCite

Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. (English) Zbl 07668103

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. 305-327 (2022).
PDFBibTeX XMLCite
Full Text: arXiv

Algebraic semantics for one-variable lattice-valued logics. (English) Zbl 07668100

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. 237-257 (2022).
MSC:  03B50 03B45 03B47
PDFBibTeX XMLCite
Full Text: arXiv

Projective unification through duality. (English) Zbl 07668094

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. 119-134 (2022).
MSC:  03B45
PDFBibTeX XMLCite

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

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

all top 3

Software