×

Found 109 Documents (Results 1–100)

Algebraic semantics for one-variable lattice-valued logics. (English) Zbl 07668100

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. 237-257 (2022).
MSC:  03B50 03B45 03B47
PDFBibTeX XMLCite
Full Text: arXiv

Local dependence and guarding. (English) Zbl 07668095

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. 135-154 (2022).
MSC:  03B45 03B60
PDFBibTeX XMLCite
Full Text: arXiv

Two variable fragment of term modal logic. (English) Zbl 07561674

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 30, 14 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

The worm calculus. (English) Zbl 1418.03076

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. 13-27 (2018).
MSC:  03B45 03F45
PDFBibTeX XMLCite
Full Text: arXiv

The triguarded fragment of first-order logic. (English) Zbl 1416.03008

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 604-619 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Decidable first-order modal logics with counting quantifiers. (English) Zbl 1400.03044

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 382-400 (2016).
PDFBibTeX XMLCite

Henkin and hybrid logic. (English) Zbl 1336.03022

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 279-306 (2014).
MSC:  03B45
PDFBibTeX XMLCite
Full Text: DOI

The closed fragment of IL is PSPACE hard. (English) Zbl 1347.03040

van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 47-54 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Complete axiomatization of the stutter-invariant fragment of the linear time \(\mu\)-calculus. (English) Zbl 1254.03025

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 140-155 (2010).
MSC:  03B44 68Q85
PDFBibTeX XMLCite

A Lindström characterisation of the guarded fragment and of modal logic with a global modality. (English) Zbl 1244.03070

Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 273-287 (2008).
MSC:  03B45
PDFBibTeX XMLCite

On modal logic, IF logic, and IF modal logic. (English) Zbl 1146.03009

Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 481-501 (2006).
MSC:  03B45 03B60 68Q17
PDFBibTeX XMLCite

On the complexity of fragments of modal logics. (English) Zbl 1102.03018

Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 249-268 (2005).
MSC:  03B45 03D15
PDFBibTeX XMLCite

A substructural version of the implication-negation fragment of the propositional modal system S5. (Russian. English summary) Zbl 1043.03016

Karpenko, A. S. (ed.), Logical investigations. 10. Including papers from the 4th international conference “Smirnov’s Readings”, Moscow, Russia, May 2003. Moskva: Nauka (ISBN 5-02-006257-X/hbk). 17-22 (2003).
MSC:  03B47 03B45 03F03
PDFBibTeX XMLCite

Projective Beth’s properties in infinite slice extensions of the modal logic K4. (English) Zbl 1039.03011

Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4–7, 2000. Singapore: World Scientific (ISBN 981-238-179-1/hbk). 349-363 (2002).
MSC:  03B45 03G25
PDFBibTeX XMLCite

A tableau algorithm for the clique guarded fragment. (English) Zbl 1031.03034

Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4-7, 2000. Singapore: World Scientific. 257-277 (2002).
MSC:  03B45 03B25
PDFBibTeX XMLCite

Why are modal logics so robustly decidable? (English) Zbl 1012.03505

Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992-2000. Singapore: World Scientific. 393-408 (2001).
MSC:  03B45 03B25 03B20
PDFBibTeX XMLCite

Modal logic in two gestalts. (English) Zbl 0993.03021

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, 73-100 (2001).
MSC:  03B45
PDFBibTeX XMLCite

An \({\mathcal O}((n\log n)^3)\)-time transformation from Grz into decidable fragments of classical first-order logic. (English) Zbl 0956.03026

Caferra, Ricardo (ed.) et al., Automated deduction in classical and non-classical logics. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1761, 152-166 (2000).
PDFBibTeX XMLCite

Strictly implicative formulae in modal logics that are close to intuitionistic logic. (Russian. English summary) Zbl 1004.03017

Karpenko, A. S. (ed.) et al., Logical investigations. No. 6. Papers from the 1st international conference “Smirnov’s Readings”, Moscow, Russia, March 1997. Moscow: Izdatel’stvo “Rossijskaya Politicheskaya Ehntsiklopediya” (ROSSPEHN). 69-75 (1999).
MSC:  03B45
PDFBibTeX XMLCite

A modal logic of relations. (With appendix: “Mosaics and step-by-step”, by Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolcs Mikulás and Mark Reynolds). (English) Zbl 0924.03030

Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 124-167 (1999).
Reviewer: G.Mints (Stanford)
PDFBibTeX XMLCite

How completeness and correspondence theory got married. (English) Zbl 0829.03010

Rijke, Maarten de (ed.), Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 229, 175-214 (1993).
MSC:  03B45
PDFBibTeX XMLCite

A note on Boolean modal logic. (English) Zbl 0777.03005

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 299-309 (1990).
MSC:  03B45 03B25
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