×

Found 1,148 Documents (Results 1–100)

100
MathJax

Finitely-valued propositional dynamic logic. (English) Zbl 07585733

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. 561-579 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Model completeness and \(\Pi_2\)-rules: the case of contact algebras. (English) Zbl 07585710

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. 115-132 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Characteristic logics for behavioural metrics via fuzzy Lax extensions. (English) Zbl 07559483

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 27, 23 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Reactive bisimulation semantics for a process algebra with time-outs. (English) Zbl 07559462

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 6, 23 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Runtime verification of contracts with Themulus. (English) Zbl 1476.68163

de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 231-246 (2020).
MSC:  68Q85 03B45 68Q60
PDF BibTeX XML Cite
Full Text: DOI

A fuzzy modal logic for fuzzy transition systems. (English) Zbl 1452.68126

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 85-103 (2020).
MSC:  68Q85 03B45 03B52
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI arXiv

Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems. (English) Zbl 1444.68126

Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 490-503 (2019).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

A representation theorem for finite Gödel algebras with operators. (English) Zbl 07176928

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, 223-235 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI Link

Logics for rough concept analysis. (English) Zbl 07150816

Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11600, 144-159 (2019).
MSC:  03Bxx 68T27
PDF BibTeX XML Cite
Full Text: DOI arXiv

Heyting algebras. Duality theory. Translated from the Russian by A. Evseev. (English) Zbl 1436.06001

Trends in Logic – Studia Logica Library 50. Cham: Springer (ISBN 978-3-030-12095-5/hbk; 978-3-030-12098-6/pbk; 978-3-030-12096-2/ebook). xv, 95 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

(Metric) bisimulation games and real-valued modal logics for coalgebras. (English) Zbl 07378581

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 37, 17 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Separable GPL: decidable model checking with more non-determinism. (English) Zbl 07378580

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 36, 16 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Quasi-open bisimilarity with mismatch is intuitionistic. (English) Zbl 07298727

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). 26-35 (2018).
MSC:  68Q85 03B45
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite

Coherence in modal logic. (English) Zbl 1418.03093

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. 459-472 (2018).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software