×

Found 25 Documents (Results 1–25)

Some exponential lower bounds on formula-size in modal logic. (English) Zbl 1385.03029

Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 139-157 (2014).
MSC:  03B45
PDFBibTeX XMLCite

The dynamics of default reasoning. (English) Zbl 0996.03020

Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 125-157 (2001).
PDFBibTeX XMLCite

Modal logics for representing incoherent knowledge. (English) Zbl 0932.03018

Besnard, Philippe (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 2: Reasoning with actual and potential contradictions. Dordrecht: Kluwer Academic Publishers. 37-75 (1998).
MSC:  03B42 68T30 03B45
PDFBibTeX XMLCite

A complete epistemic logic for multiple agents. (English) Zbl 0956.03022

Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. C. 20, 35-68 (1997).
MSC:  03B42 68T30 68T27
PDFBibTeX XMLCite

Modalities for reasoning about knowledge and uncertainties. (English) Zbl 0955.03512

Doherty, Patrick (ed.), Partiality, modality, and nonmonotonicity. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 77-109 (1996).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software