×

Found 9,226 Documents (Results 1–100)

100
MathJax

On mixing term logics. (English) Zbl 07582519

Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 6-23 (2022).
MSC:  68T27 03-XX
PDF BibTeX XML Cite

The modal logic of John Fabri of Valenciennes (c. 1500). A study in token-based semantics. (English) Zbl 07504599

SpringerBriefs in Philosophy. Singapore: Springer (ISBN 978-3-030-98801-2/pbk; 978-3-030-98802-9/ebook). vi, 113 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Oskar Becker, On the logic of modalities (1930): translation, commentary and analysis. (English) Zbl 07414794

Synthese Library 444. Cham: Springer (ISBN 978-3-030-87547-3/hbk; 978-3-030-87548-0/ebook). xii, 157 p. (2022).
MSC:  03-03 03B45 01A60
PDF BibTeX XML Cite
Full Text: DOI

Awareness in logic and epistemology. A conceptual schema and logical study of the underlying main epistemic concepts. (English) Zbl 07556596

Logic, Epistemology, and the Unity of Science 52. Cham: Springer (ISBN 978-3-030-69605-4/hbk; 978-3-030-69608-5/pbk; 978-3-030-69606-1/ebook). xxi, 130 p. (2021).
MSC:  03-02 03B45
PDF BibTeX XML Cite
Full Text: DOI

Dynamic coalition logic: granting and revoking dictatorial powers. (English) Zbl 07547761

Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 88-101 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

Uniform interpolation via nested sequents. (English) Zbl 07547750

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 337-354 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Uniform Lyndon interpolation for basic non-normal modal logics. (English) Zbl 07547747

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 287-301 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Trust evidence logic. (English) Zbl 07542369

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 575-589 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Nested sequents for intuitionistic modal logics via structural refinement. (English) Zbl 07532529

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 409-427 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software