×

Found 33 Documents (Results 1–33)

Algebraic semantics for hybrid logics. (English) Zbl 1484.03032

Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 123-154 (2020).
MSC:  03B45 03G25
PDF BibTeX XML Cite
Full Text: DOI arXiv

Gödel’s ontological proof and its variants. (English) Zbl 1283.03019

Baaz, Matthias (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth. Cambridge: Cambridge University Press (ISBN 978-0-521-76144-4/hbk). 307-321 (2011).
MSC:  03A05 03B45 03-03
PDF BibTeX XML Cite

Bi-approximation semantics for substructural logic at work. (English) Zbl 1254.03046

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 411-433 (2010).
MSC:  03B47
PDF BibTeX XML Cite

A two-dimensional hybrid logic of subset spaces. (English) Zbl 1209.03021

Ramanujam, R. (ed.) et al., Logic and its applications. Third Indian conference, ICLA 2009, Chennai, India, January 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92700-6/pbk). Lecture Notes in Computer Science 5378. Lecture Notes in Artificial Intelligence, 196-209 (2009).
MSC:  03B62
PDF BibTeX XML Cite
Full Text: DOI

A two-sorted hybrid logic including guarded jumps. (English) Zbl 1109.03013

Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 73-92 (2005).
MSC:  03B45 03B42 68T27
PDF BibTeX XML Cite

Accepting failure in dynamic logic. (English) Zbl 0838.03027

Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 327-349 (1994).
MSC:  03B70 03B45
PDF BibTeX XML Cite

Model theoretic algebra: with particular emphasis on fields, rings, modules. (English) Zbl 0728.03026

Algebra, Logic and Applications, 2. New York etc.: Gordon and Breach Science Publishers. xiii, 443 p. (1989).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Main Field

Software