×

Found 70 Documents (Results 1–70)

Tense logics over lattices. (English) Zbl 07691316

Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 70-87 (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

A logic-based approach to incremental reasoning on multi-agent systems. (English) Zbl 1500.93004

Pinto, Alberto (ed.) et al., Modeling, dynamics, optimization and bioeconomics IV. Selected papers based on the presentations at the 6th international conference on dynamics games and science 2018 (DGS-VI-2018) and the 19th Jornadas Latinoamericanas de teora económica (Jolate-XIX). Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May–June 2017. Selected contributions. Cham: Springer. Springer Proc. Math. Stat. 365, 397-443 (2021).
MSC:  93A16 03B80
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of the equational theory of residuated Boolean algebras. (English) Zbl 1478.03083

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 265-278 (2016).
MSC:  03G05 68Q17
PDFBibTeX XMLCite
Full Text: DOI

A note on reliability-based preference dynamics. (English) Zbl 1471.91137

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, 129-142 (2015).
MSC:  91B14 91B08
PDFBibTeX XMLCite
Full Text: DOI

Completeness results for two-sorted metric temporal logics. (English) Zbl 1496.03078

Alagar, V. S. (ed.) et al., Algebraic methodology and software technology. 4th international conference, AMAST ’95, Montreal, Canada, July 3–7, 1995. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 936, 385-399 (1995).
MSC:  03B44
PDFBibTeX XMLCite
Full Text: DOI

A propositional dense time logic. (English) Zbl 1497.03034

Gaudel, Marie-Claude (ed.) et al., TAPSOFT ’93: theory and practice of software development. 4th international joint conference CAAP/FASE, Orsay, France, April 13–17, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 668, 584-598 (1993).
MSC:  03B44 03B25 68N17
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