×

Found 2,261 Documents (Results 1–100)

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

Labelled sequent calculi for logics of strict implication. (English) Zbl 07668118

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. 625-641 (2022).
MSC:  03B45 03F05 03F03
PDFBibTeX XMLCite

Analytic cut and Mints’ symmetric interpolation method for bi-intuitionistic tense logic. (English) Zbl 07668117

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. 601-623 (2022).
MSC:  03F05 03B20 03B44
PDFBibTeX XMLCite

Direct elimination of additive-cuts in GL4ip: verified and extracted. (English) Zbl 1518.03015

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. 429-449 (2022).
MSC:  03F45 03B35 03F05
PDFBibTeX XMLCite

Algorithmic correspondence and analytic rules. (English) Zbl 07668106

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. 371-389 (2022).
MSC:  03F03 03F05 03B45
PDFBibTeX XMLCite
Full Text: arXiv

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

Taming bounded depth with nested sequents. (English) Zbl 07668098

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. 199-216 (2022).
MSC:  03F05 03B55
PDFBibTeX XMLCite

Combinatorial proofs for constructive modal logic. (English) Zbl 07668089

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. 15-36 (2022).
MSC:  03B45 03F03 03F05
PDFBibTeX XMLCite

Complexity of Lambek calculi with modalities and of total derivability in grammars. (English. Russian original) Zbl 1515.03218

Algebra Logic 60, No. 5, 308-326 (2021); translation from Algebra Logika 60, No. 4, 471-496 (2021).
PDFBibTeX XMLCite
Full Text: DOI

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