×

Found 2,895 Documents (Results 1–100)

An epistemic interpretation of tensor disjunction. (English) Zbl 07668123

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. 719-739 (2022).
MSC:  03B42 03B55
PDF BibTeX XML Cite
Full Text: arXiv

Relevant reasoners in a classical world. (English) Zbl 07668122

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. 697-717 (2022).
MSC:  03B42 03B47
PDF BibTeX XML Cite
Full Text: arXiv

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:  03F03 03B42 03B45
PDF BibTeX XML Cite

A new hope. (English) Zbl 07668105

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. 349-369 (2022).
MSC:  03B42 68T42
PDF BibTeX XML Cite

Arithmetic in a finite world. (English) Zbl 07604254

Kürbis, Nils (ed.) et al., Knowledge, number and reality. Encounters with the work of Keith Hossack. London: Bloomsbury Publishing. 217-227 (2022).
MSC:  03A05 03B42
PDF BibTeX XML Cite

Generality. (English) Zbl 07604250

Kürbis, Nils (ed.) et al., Knowledge, number and reality. Encounters with the work of Keith Hossack. London: Bloomsbury Publishing. 161-175 (2022).
MSC:  03A05 03B42
PDF BibTeX XML Cite

Who knows? (English) Zbl 07604243

Kürbis, Nils (ed.) et al., Knowledge, number and reality. Encounters with the work of Keith Hossack. London: Bloomsbury Publishing. 49-67 (2022).
MSC:  03A05 03B42
PDF BibTeX XML Cite

A summary of my current views. (English) Zbl 07604241

Kürbis, Nils (ed.) et al., Knowledge, number and reality. Encounters with the work of Keith Hossack. London: Bloomsbury Publishing. 31-36 (2022).
MSC:  03A05 03B42
PDF BibTeX XML Cite

Knowledge, number and reality. Encounters with the work of Keith Hossack. (English) Zbl 1496.03002

London: Bloomsbury Publishing (ISBN 978-1-350-18643-9/hbk; 978-1-350-18649-1/pbk; 978-1-350-18644-6/ebook). viii, 232 p. (2022).
MSC:  03-02 03A05 03B42
PDF BibTeX XML Cite

Impossible individuals as necessarily empty individual concepts. (English) Zbl 07607240

Giordani, Alessandro (ed.) et al., Logic in high definition – Trends in logical semantics. Selected papers based on the presentations at the trends in logic 2019 conference. Cham: Springer. Trends Log. Stud. Log. Libr. 56, 177-202 (2021).
MSC:  03B42 03B45
PDF BibTeX XML Cite
Full Text: DOI

Causal agency and responsibility: a refinement of STIT logic. (English) Zbl 07607239

Giordani, Alessandro (ed.) et al., Logic in high definition – Trends in logical semantics. Selected papers based on the presentations at the trends in logic 2019 conference. Cham: Springer. Trends Log. Stud. Log. Libr. 56, 149-176 (2021).
MSC:  03B42 03B45
PDF BibTeX XML Cite
Full Text: DOI

Relating semantics for connexive logic. (English) Zbl 07607235

Giordani, Alessandro (ed.) et al., Logic in high definition – Trends in logical semantics. Selected papers based on the presentations at the trends in logic 2019 conference. Cham: Springer. Trends Log. Stud. Log. Libr. 56, 49-65 (2021).
MSC:  03B42 03B45
PDF BibTeX XML Cite
Full Text: DOI

Some intensional logics defined by relating semantics and tableau systems. (English) Zbl 07607234

Giordani, Alessandro (ed.) et al., Logic in high definition – Trends in logical semantics. Selected papers based on the presentations at the trends in logic 2019 conference. Cham: Springer. Trends Log. Stud. Log. Libr. 56, 31-48 (2021).
MSC:  03B42 03B45
PDF BibTeX XML Cite
Full Text: DOI

Logic in high definition – trends in logical semantics. (English) Zbl 07607232

Giordani, Alessandro (ed.) et al., Logic in high definition – Trends in logical semantics. Selected papers based on the presentations at the trends in logic 2019 conference. Cham: Springer. Trends Log. Stud. Log. Libr. 56, 1-11 (2021).
MSC:  03B42 03B45
PDF BibTeX XML Cite
Full Text: DOI

Adding proof calculi to epistemic logics with structured knowledge. (English) Zbl 1496.68309

Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 53-68 (2021).
MSC:  68T27 03B42 68T30
PDF BibTeX XML Cite
Full Text: DOI

Formalizing the right to know: epistemic rights as normative positions. (English) Zbl 1484.03037

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 154-159 (2021).
MSC:  03B45 03B42 68T27
PDF BibTeX XML Cite

Experiments in causality and STIT. (English) Zbl 1484.68314

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 33-45 (2021).
MSC:  68V15 03B42 68T27
PDF BibTeX XML Cite

Logic in high definition – Trends in logical semantics. Selected papers based on the presentations at the trends in logic 2019 conference. (English) Zbl 1485.03011

Trends in Logic – Studia Logica Library 56. Cham: Springer (ISBN 978-3-030-53486-8/hbk; 978-3-030-53489-9/pbk; 978-3-030-53487-5/ebook). v, 243 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software