×

Found 52 Documents (Results 1–52)

CoNP complexity for combinations of non-normal modal logics. (English) Zbl 07850751

Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 302-321 (2023).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Contraction of combined normative sets. (English) Zbl 1418.03055

Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 247-261 (2018).
MSC:  03B42 03B62
PDFBibTeX XMLCite

The Bernays-Schönfinkel-Ramsey fragment with bounded difference constraints over the reals is decidable. (English) Zbl 1496.03032

Dixon, Clare (ed.) et al., Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10483, 244-261 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Multiple-source approximation systems, evolving information systems and corresponding logics: a study in rough set theory. (English) Zbl 1398.68542

Peters, James F. (ed.) et al., Transactions on Rough Sets XX. Berlin: Springer (ISBN 978-3-662-53610-0/pbk; 978-3-662-53611-7/ebook). Lecture Notes in Computer Science 10020. Journal Subline, 146-320 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Combining decision procedures by (model-)equality propagation. (English) Zbl 1347.68309

Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 113-128 (2009).
MSC:  68T15 68Q60 68T20
PDFBibTeX XMLCite
Full Text: DOI

‘What I fail to do today, I have to do tomorrow’: A logical study of the propagation of obligations. (English) Zbl 1175.03010

Sadri, Fariba (ed.) et al., Computational logic in multi-agent systems. 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-88832-1/pbk). Lecture Notes in Computer Science 5056. Lecture Notes in Artificial Intelligence, 82-99 (2009).
MSC:  03B45 03B44 03B62
PDFBibTeX XMLCite
Full Text: DOI

Analysis and synthesis of logics. How to cut and paste reasoning systems. (English) Zbl 1137.03001

Applied Logic Series 35. Dordrecht: Springer (ISBN 978-1-4020-6781-5/hbk). xvi, 600 p. (2008).
MSC:  03-02 03B22
PDFBibTeX XMLCite

Combining dynamic logic with doxastic modal logic. (English) Zbl 1081.03023

Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 371-391 (2003).
MSC:  03B70 03B45
PDFBibTeX XMLCite

Combining WS1S and HOL. (English) Zbl 0988.03024

Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 39-56 (2000).
MSC:  03B35 68T15 03B15
PDFBibTeX XMLCite

Combining and representing logical systems using model-theoretic parchments. (English) Zbl 0907.03030

Parisi Presicce, Francesco (ed.), Recent trends in algebraic development techniques. 12th international workshop, WADT ’97, Tarquinia, Italy, June 3–7, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1376, 349-364 (1998).
MSC:  03G30 03C65
PDFBibTeX XMLCite

Tableaux for finite-valued logics with arbitrary distribution modalities. (English) Zbl 0909.03045

de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 156-171 (1998).
PDFBibTeX XMLCite

Fibring semantic tableaux. (English) Zbl 0909.03044

de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 77-92 (1998).
PDFBibTeX XMLCite

Synchronization of logics with mixed rules: Completeness preservation. (English) Zbl 0886.03043

Johnson, Michael (ed.), Algebraic methodology and software technology. 6th international conference, AMAST ’97, Sidney, Australia, December 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1349, 465-478 (1997).
MSC:  03G30 03B99
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software