×

Found 149 Documents (Results 1–100)

Combinatorial proofs for constructive modal logic. (English) Zbl 07668089

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. 15-36 (2022).
MSC:  03B45 03F03
PDF BibTeX XML Cite

Cathoristic logic. A logic for capturing inferences between atomic sentences. (English) Zbl 1440.03042

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 17-85 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Many-valued modal logic and regular equivalences in weighted social networks. (English) Zbl 1390.91265

van der Gaag, Linda C. (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 12th European conference, ECSQARU 2013, Utrecht, The Netherlands, July 8–10, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39090-6/pbk). Lecture Notes in Computer Science 7958. Lecture Notes in Artificial Intelligence, 194-205 (2013).
MSC:  91D30 03B45 03B50
PDF BibTeX XML Cite
Full Text: DOI

Indistinguishability operators. Modelling fuzzy equalities and fuzzy equivalence relations. (English) Zbl 1215.03065

Studies in Fuzziness and Soft Computing 260. Berlin: Springer (ISBN 978-3-642-16221-3/hbk; 978-3-642-16222-0/ebook). xvii, 244 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI

Bisimulation for neighbourhood structures. (English) Zbl 1172.03314

Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 279-293 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Bisimulation invariance and finite models. (English) Zbl 1102.03036

Chatzidakis, Zoé (ed.) et al., Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-300-7/hbk; 1-56881-301-5/pbk). Lecture Notes in Logic 27, 276-298 (2006).
PDF BibTeX XML Cite

Core equivalence in economy for modal logic. (English) Zbl 1147.91353

Sloot, Peter M. A. (ed.) et al., Computational science – ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003. Proceedings, Part II. Berlin: Springer (ISBN 3-540-40195-4/pbk). Lecture Notes in Computer Science 2658, 74-83 (2003).
MSC:  91B54 03B45
PDF BibTeX XML Cite
Full Text: DOI

Spectral equivalence and matrix algebra preconditioners for multilevel Toeplitz systems: A negative result. (English) Zbl 1039.65029

Olshevsky, Vadim (ed.), Fast algorithms for structured matrices: Theory and applications. AMS-IMS-SIAM joint summer research conference on fast algorithms in mathematics, computer science and engineering, August 5–9, 2001, South Hadley, Massachusetts. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3177-1/pbk; 0-89871-543-1/pbk). Contemp. Math. 323, 313-322 (2003).
MSC:  65F10 65F35
PDF BibTeX XML Cite

STS: A structural theory of sets. (English) Zbl 0993.03065

Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 1-34 (2001).
MSC:  03E70 03B45
PDF BibTeX XML Cite

A survey of a class of algebraic multilevel iteration methods for positive definite symmetric matrices. (English) Zbl 0968.65015

Neittaanmäki, Pekka (ed.) et al., ENUMATH 99. Numerical mathematics and advanced applications. Proceedings of the 3rd European conference, Jyväskylä, Finland, July 26-30, 1999. Singapore: World Scientific. 16-30 (2000).
MSC:  65F10 65F35 65N55
PDF BibTeX XML Cite

Testing Hennessy-Milner logic with recursion. (English) Zbl 0932.03026

Thomas, Wolfgang (ed.), Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22–28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1578, 41-55 (1999).
MSC:  03B70 68Q85 03B45
PDF BibTeX XML Cite

Infinite sets of nonreducible modalities of normal modal logics. (Russian. English summary) Zbl 0927.03035

Karpenko, A. S. (ed.) et al., Logical investigations. No. 5. Proceedings from the section “Symbolic logic” of the 1st International conference “Smirnov Readings”, Moscow, Russia, March 1997. Moskva: Nauka. 150-159 (1998).
MSC:  03B45
PDF BibTeX XML Cite

Finite-dimensional action constants. (English) Zbl 0929.15029

Chui, Charles K. (ed.) et al., Approximation theory IX. Volume 1. Theoretical aspects. Proceedings of the 9th international conference, Nashville, TN, USA, January 3–6, 1998. Nashville, TN: Vanderbilt University Press. Innovations in Applied Mathematics. 83-88 (1998).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field