×

Found 167 Documents (Results 1–100)

Tuple interpretations for higher-order complexity. (English) Zbl 07700636

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 31, 22 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

How deontic logic ought to be: towards a many-sorted framework for normative reasoning. (English) Zbl 07655709

Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 219-238 (2021).
PDFBibTeX XMLCite

Spinozian model theory. (English) Zbl 07585711

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 133-147 (2020).
MSC:  03B45
PDFBibTeX XMLCite

Operational semantics and program verification using many-sorted hybrid modal logic. (English) Zbl 1435.68199

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 446-476 (2019).
MSC:  68Q60 03B45 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

GRUNGE: a grand unified ATP challenge. (English) Zbl 07178973

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 123-141 (2019).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

April the 19th. (English) Zbl 1330.03005

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 265-278 (2014).
MSC:  03-03 01A60
PDFBibTeX XMLCite
Full Text: DOI

Towards a type discipline for answer set programming. (English) Zbl 1246.68080

Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 117-135 (2009).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Notes on the founding of logics and metalogic: Aristotle, Boole, and Tarski. (English) Zbl 1165.03300

Martínez, Concha (ed.) et al., Current topics in logic and analytic philosophy/Temas actuales de lógica y filosofía analítica. Papers from the colloquium on logic and analytic philosophy, Santiago de Compostela, Spain, 2001–2005. Santiago de Compostela: Universidade de Santiago de Compostela (ISBN 978-84-9750-811-7/pbk). Cursos e Congresos da Universidade de Santiago de Compostela 167, 143-176 (2007).
MSC:  03-03 03A05
PDFBibTeX XMLCite

On generalizing the logic-approach to space-time towards general relativity: first steps. (English) Zbl 1096.03030

Hendricks, Vincent (ed.) et al., First-order logic revisited. Proceedings of the conference FOL75 – 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18–21, 2003. Berlin: Logos Verlag (ISBN 3-8325-0475-3/pbk). Logische Philosophie 12, 225-268 (2004).
MSC:  03B80 03B10 83C99
PDFBibTeX XMLCite

A logic for sheaves over (right sided and idempotent) quantales. (English) Zbl 1041.03054

Haeusler, Edward Hermann (ed.) et al., PRATICA. Proofs, types and categories. Selected papers from PRATICA’95, PRATICA’96 and PRATICA’98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro (ISBN 85-900900-1-9/pbk). 185-212 (1999).
PDFBibTeX XMLCite

Partial algebras – An introductory survey. (English) Zbl 0789.08003

Rosenberg, Ivo (ed.) et al., Algebras and orders. Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures, Montréal, Canada, July 29 - August 9, 1991. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 389, 1-70 (1993).
PDFBibTeX XMLCite

Sorts and types in artificial intelligence. Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings. (English) Zbl 0743.68016

Lecture Notes in Artificial Intelligence. 418. Berlin etc.: Springer- Verlag. VIII, 307 p. (1990).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software