×

Found 130 Documents (Results 1–100)

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

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
PDFBibTeX XMLCite
Full Text: arXiv

A logic of affordances. (English) Zbl 1529.03163

Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 219-236 (2021).
MSC:  03B47
PDFBibTeX XMLCite

A degree-theoretic framework for feasible knowledge. (English) Zbl 1505.03039

Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 1-15 (2020).
MSC:  03B42 03B52
PDFBibTeX XMLCite

A dynamic epistemic logic for resource-bounded agents. (English) Zbl 1505.03045

Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 229-244 (2019).
MSC:  03B42
PDFBibTeX XMLCite

The effort of reasoning: modelling the inference steps of boundedly rational agents. (English) Zbl 1509.03066

Moss, Lawrence S. (ed.) et al., Logic, language, information, and computation. 25th international workshop, WoLLIC 2018, Bogota, Colombia, July 24–27, 2018. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10944, 307-324 (2018).
MSC:  03B42 68T27 68T42
PDFBibTeX XMLCite
Full Text: DOI Link

TW-models for logic of knowledge-cum-belief. (English) Zbl 1364.03026

Downey, Rod (ed.) et al., Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15–20, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4449-26-7/hbk; 978-981-4449-28-1/ebook). 314-337 (2013).
MSC:  03B42
PDFBibTeX XMLCite
Full Text: DOI

Dynamics of defeasible and tentative inference. (English) Zbl 1383.03024

Bezhanishvili, Guram (ed.) et al., Logic, language, and computation. 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011, Kutaisi, Georgia, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-36975-9/pbk). Lecture Notes in Computer Science 7758, 155-165 (2013).
MSC:  03B42 03A05 03B60
PDFBibTeX XMLCite
Full Text: DOI

Non-normal worlds and representation. (English) Zbl 1262.03037

Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 15-30 (2012).
MSC:  03B47
PDFBibTeX XMLCite

Reasoning with justifications. (English) Zbl 1166.03006

Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 107-123 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Models of awareness. (English) Zbl 1261.03054

Bonanno, Giacomo (ed.) et al., Logic and the foundations of game and decision theory (LOFT7). Revised papers presented at the 7th conference, Liverpool, UK, July 2006. Amsterdam: Amsterdam University Press (ISBN 978-90-8964-026-0/pbk). Texts in Logic and Games 3, 209-240 (2008).
MSC:  03A05
PDFBibTeX XMLCite

Epistemic models, logical monotony and substructural logics. (English) Zbl 1121.03008

van Benthem, Johan (ed.) et al., The age of alternative logics. Assessing philosophy of logic and mathematics today. Based on the conference on philosophical insights into logic and mathematics, Nancy, France, September 30–October 4, 2002. Dordrecht: Springer (ISBN 978-1-4020-5011-4/hbk; 978-1-4020-5012-7/e-book). Logic, Epistemology, and the Unity of Science 3, 11-23 (2006).
MSC:  03A05 03B42 03B47
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software