×

Found 437 Documents (Results 1–100)

A logic for temporal and open information. (English) Zbl 07823014

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 93-109 (2023).
MSC:  68T27 03C99 60L90
PDFBibTeX XMLCite
Full Text: Link

Medvedev’s logic and products of converse well orders. (English) Zbl 1531.03048

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. 681-696 (2022).
MSC:  03B45 03B20
PDFBibTeX XMLCite

Modal logics with transitive closure: completeness, decidability, filtration. (English) Zbl 07585723

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. 369-388 (2020).
MSC:  03B45
PDFBibTeX XMLCite

Quantified reflection calculus with one modality. (English) Zbl 07585705

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. 13-32 (2020).
MSC:  03F45 03B25 03B45
PDFBibTeX XMLCite
Full Text: arXiv

Rotational magnetic properties measurement and modeling. (English) Zbl 1469.78036

Cheng, Zhiguang (ed.) et al., Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 345-387 (2020).
PDFBibTeX XMLCite
Full Text: DOI

A bounded domain property for an expressive fragment of first-order linear temporal logic. (English) Zbl 1515.68186

Gamper, Johann (ed.) et al., 26th international symposium on temporal representation and reasoning, TIME 2019. Málaga, Spain, October 16–19, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 147, Article 15, 16 p. (2019).
MSC:  68Q60 03B44 68T20
PDFBibTeX XMLCite
Full Text: DOI

One-dimensional guarded fragments. (English) Zbl 07561660

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 16, 14 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modal logics of finite direct powers of \(\omega\) have the finite model property. (English) Zbl 1530.03087

Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 610-618 (2019).
MSC:  03B45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Unary negation fragment with equivalence relations has the finite model property. (English) Zbl 1452.03027

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 285-294 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Truth-preserving operations on sums of Kripke frames. (English) Zbl 1418.03101

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 541-558 (2018).
MSC:  03B45 03F45
PDFBibTeX XMLCite

Partitioning Kripke frames of finite height. (English. Russian original) Zbl 1371.03025

Izv. Math. 81, No. 3, 592-617 (2017); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 81, No. 3, 134-159 (2017).
Reviewer: Can Baskent (Bath)
MSC:  03B45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Semantical approach to cut elimination and subformula property in modal logic. (English) Zbl 1429.03199

Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 1-15 (2016).
MSC:  03F05 03B45
PDFBibTeX XMLCite
Full Text: DOI

On finite domains in first-order linear temporal logic. (English) Zbl 1398.68252

Artho, Cyrille (ed.) et al., Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46519-7/pbk; 978-3-319-46520-3/ebook). Lecture Notes in Computer Science 9938, 211-226 (2016).
MSC:  68Q25 03B44 68Q17
PDFBibTeX XMLCite
Full Text: DOI HAL

Decidable first-order modal logics with counting quantifiers. (English) Zbl 1400.03044

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 382-400 (2016).
PDFBibTeX XMLCite

The tangled derivative logic of the real line and zero-dimensional spaces. (English) Zbl 1400.03042

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 342-361 (2016).
MSC:  03B45 54F45
PDFBibTeX XMLCite

Deciding first-order satisfiability when universal and existential variables are separated. (English) Zbl 1394.03013

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 86-95 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Structural sparsity. (English. Russian original) Zbl 1367.03065

Russ. Math. Surv. 71, No. 1, 79-107 (2016); translation from Usp. Mat. Nauk 71, No. 1, 85-116 (2016).
PDFBibTeX XMLCite
Full Text: DOI

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