×

Found 237 Documents (Results 1–100)

Hybrid modal operators for definite descriptions. (English) Zbl 07855155

Gaggl, Sarah (ed.) et al., Logics in artificial intelligence. 18th European conference, JELIA 2023, Dresden, Germany, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14281, 712-726 (2023).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Temporal landscapes: a graphical logic of behavior. (English) Zbl 1530.03114

Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 276-288 (2022).
MSC:  03B60 03B38
PDFBibTeX XMLCite
Full Text: arXiv Link

Modal logics and local quantifiers: a zoo in the elementary hierarchy. (English) Zbl 07793035

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 305-324 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Philosophical logic = philosophy + logic? (English) Zbl 07740518

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 281-301 (2022).
PDFBibTeX XMLCite
Full Text: DOI

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

Specifying timed patterns using temporal logic. (English) Zbl 1409.68175

Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 167-176 (2018).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Deriving inverse operators for modal logic. (English) Zbl 1482.68153

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 214-232 (2016).
MSC:  68Q85 03B45
PDFBibTeX XMLCite
Full Text: DOI HAL

Decidability and expressivity of Ockhamist propositional dynamic logics. (English) Zbl 1483.68371

Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 144-158 (2016).
PDFBibTeX XMLCite
Full Text: DOI Link

A decidable temporal relevant logic for time-dependent relevant human reasoning. (English) Zbl 1471.03056

van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9394, 182-194 (2015).
PDFBibTeX XMLCite
Full Text: DOI

On the essential flatness of possible worlds. (English) Zbl 1330.03019

Ciuni, Roberto (ed.) et al., Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). Trends in Logic – Studia Logica Library 41, 127-137 (2014).
MSC:  03A05 03B42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software