×

Found 10 Documents (Results 1–10)

An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning. (English) Zbl 1506.03076

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 462-481 (2020).
MSC:  03B70 03B45 68Q17
PDFBibTeX XMLCite
Full Text: DOI

On the expressive power of sub-propositional fragments of modal logic. (English) Zbl 1478.03034

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 91-104 (2016).
MSC:  03B45
PDFBibTeX XMLCite
Full Text: arXiv Link

Sub-propositional fragments of the interval temporal logic of Allen’s relations. (English) Zbl 1432.03028

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 122-136 (2014).
MSC:  03B44 68T27
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software