Padmanabha, Anantha; Ramanujam, R. A decidable fragment of first order modal logic: two variable term modal logic. (English) Zbl 07760990 ACM Trans. Comput. Log. 24, No. 4, Paper No. 29, 38 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Padmanabha} and \textit{R. Ramanujam}, ACM Trans. Comput. Log. 24, No. 4, Paper No. 29, 38 p. (2023; Zbl 07760990) Full Text: DOI
Shtakser, Gennady A modal loosely guarded fragment of second-order propositional modal logic. (English) Zbl 07726399 J. Logic Lang. Inf. 32, No. 3, 511-538 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{G. Shtakser}, J. Logic Lang. Inf. 32, No. 3, 511--538 (2023; Zbl 07726399) Full Text: DOI
Cintula, Petr; Metcalfe, George; Tokuda, Naomi 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 \textit{P. Cintula} et al., in: 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; Zbl 07668100) Full Text: arXiv
van Benthem, Johan; ten Cate, Balder; Koudijs, Raoul 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 \textit{J. van Benthem} et al., in: 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; Zbl 07668095) Full Text: arXiv
Padmanabha, Anantha; Ramanujam, R. 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 \textit{A. Padmanabha} and \textit{R. Ramanujam}, LIPIcs -- Leibniz Int. Proc. Inform. 138, Article 30, 14 p. (2019; Zbl 07561674) Full Text: DOI arXiv
Padmanabha, Anantha; Ramanujam, R. Propositional modal logic with implicit modal quantification. (English) Zbl 07150804 Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11600, 6-17 (2019). MSC: 03Bxx 68T27 PDFBibTeX XMLCite \textit{A. Padmanabha} and \textit{R. Ramanujam}, Lect. Notes Comput. Sci. 11600, 6--17 (2019; Zbl 07150804) Full Text: DOI arXiv
Shtakser, Gennady Propositional epistemic logics with quantification over agents of knowledge (an alternative approach). (English) Zbl 07100701 Stud. Log. 107, No. 4, 753-780 (2019). MSC: 03B42 03B25 PDFBibTeX XMLCite \textit{G. Shtakser}, Stud. Log. 107, No. 4, 753--780 (2019; Zbl 07100701) Full Text: DOI
Rybakov, Mikhail; Shkatov, Dmitry Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter. (English) Zbl 07100699 Stud. Log. 107, No. 4, 695-717 (2019); correction ibid. 110, No. 2, 597–598 (2022). MSC: 03B45 03B25 03B20 PDFBibTeX XMLCite \textit{M. Rybakov} and \textit{D. Shkatov}, Stud. Log. 107, No. 4, 695--717 (2019; Zbl 07100699) Full Text: DOI arXiv
Padmanabha, Anantha; Ramanujam, R. The monodic fragment of propositional term modal logic. (English) Zbl 1439.03046 Stud. Log. 107, No. 3, 533-557 (2019). Reviewer: Xavier Parent (Luxembourg) MSC: 03B45 PDFBibTeX XMLCite \textit{A. Padmanabha} and \textit{R. Ramanujam}, Stud. Log. 107, No. 3, 533--557 (2019; Zbl 1439.03046) Full Text: DOI
de Almeida Borges, Ana; Joosten, Joost J. 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 \textit{A. de Almeida Borges} and \textit{J. J. Joosten}, in: 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; Zbl 1418.03076) Full Text: arXiv
Rudolph, Sebastian; Šimkus, Mantas 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). MSC: 03B20 03B25 03B45 68T27 68Q17 PDFBibTeX XMLCite \textit{S. Rudolph} and \textit{M. Šimkus}, EPiC Ser. Comput. 57, 604--619 (2018; Zbl 1416.03008) Full Text: DOI
Hampson, Christopher 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). MSC: 03B45 03B25 03C80 68Q17 PDFBibTeX XMLCite \textit{C. Hampson}, in: Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 -- September 2, 2016. London: College Publications. 382--400 (2016; Zbl 1400.03044)
Benedikt, Michael; ten Cate, Balder; Vanden Boom, Michael Effective interpolation and preservation in guarded logics. (English) Zbl 1367.03036 ACM Trans. Comput. Log. 17, No. 2, Article No. 8, 46 p. (2016). MSC: 03B45 03C40 PDFBibTeX XMLCite \textit{M. Benedikt} et al., ACM Trans. Comput. Log. 17, No. 2, Article No. 8, 46 p. (2016; Zbl 1367.03036) Full Text: DOI
Bárány, Vince; ten Cate, Balder; Segoufin, Luc Guarded negation. (English) Zbl 1333.68133 J. ACM 62, No. 3, Article No. 22, 26 p. (2015). MSC: 68Q25 03B45 03B70 68Q60 PDFBibTeX XMLCite \textit{V. Bárány} et al., J. ACM 62, No. 3, Article No. 22, 26 p. (2015; Zbl 1333.68133) Full Text: DOI
Blackburn, Patrick; Huertas, Antonia; Manzano, María; Jørgensen, Klaus Frovin 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 \textit{P. Blackburn} et al., in: The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer. 279--306 (2014; Zbl 1336.03022) Full Text: DOI
Fernández-Duque, David; Joosten, Joost J. Models of transfinite provability logic. (English) Zbl 1275.03158 J. Symb. Log. 78, No. 2, 543-561 (2013). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{J. J. Joosten}, J. Symb. Log. 78, No. 2, 543--561 (2013; Zbl 1275.03158) Full Text: DOI arXiv Euclid
Otto, Martin Highly acyclic groups, hypergraph covers, and the guarded fragment. (English) Zbl 1281.03008 J. ACM 59, No. 1, Article No. 5, 40 p. (2012). MSC: 03B70 03B45 03C13 05C65 05C90 PDFBibTeX XMLCite \textit{M. Otto}, J. ACM 59, No. 1, Article No. 5, 40 p. (2012; Zbl 1281.03008) Full Text: DOI
Bou, Félix; Joosten, Joost J. 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). MSC: 03B45 03F05 03F45 68Q17 PDFBibTeX XMLCite \textit{F. Bou} and \textit{J. J. Joosten}, Electron. Notes Theor. Comput. Sci. 278, 47--54 (2011; Zbl 1347.03040) Full Text: DOI arXiv
Nenchev, Vladislav Logics for stable and unstable mereological relations. (English) Zbl 1242.03026 Cent. Eur. J. Math. 9, No. 6, 1354-1379 (2011). MSC: 03B30 03B10 03B25 03B45 68Q17 PDFBibTeX XMLCite \textit{V. Nenchev}, Cent. Eur. J. Math. 9, No. 6, 1354--1379 (2011; Zbl 1242.03026) Full Text: DOI
Gheerbrant, Amélie 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 \textit{A. Gheerbrant}, in: Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24--27, 2010. London: College Publications. 140--155 (2010; Zbl 1254.03025)
Hodkinson, Ian The bounded fragment and hybrid logic with polyadic modalities. (English) Zbl 1207.03023 Rev. Symb. Log. 3, No. 2, 279-286 (2010). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 03B70 PDFBibTeX XMLCite \textit{I. Hodkinson}, Rev. Symb. Log. 3, No. 2, 279--286 (2010; Zbl 1207.03023) Full Text: DOI
Otto, Martin; Piro, Robert 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 \textit{M. Otto} and \textit{R. Piro}, in: Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9--12, 2008. London: College Publications. 273--287 (2008; Zbl 1244.03070)
Lokhorst, Gert-Jan C. Anderson’s relevant deontic and eubouliatic systems. (English) Zbl 1180.03026 Notre Dame J. Formal Logic 49, No. 1, 65-73 (2008). MSC: 03B47 03B45 PDFBibTeX XMLCite \textit{G.-J. C. Lokhorst}, Notre Dame J. Formal Logic 49, No. 1, 65--73 (2008; Zbl 1180.03026)
Brünnler, Kai; Probst, Dieter; Studer, Thomas On contraction and the modal fragment. (English) Zbl 1152.03013 Math. Log. Q. 54, No. 4, 345-349 (2008). Reviewer: Osamu Sonobe (Follonica) MSC: 03B20 03B45 03F03 03B10 03B25 PDFBibTeX XMLCite \textit{K. Brünnler} et al., Math. Log. Q. 54, No. 4, 345--349 (2008; Zbl 1152.03013) Full Text: DOI Link
Kowalski, Tomasz; Slaney, John A finite fragment of S3. (English) Zbl 1156.03020 Rep. Math. Logic 43, 65-72 (2008). Reviewer: Nick Bezhanishvili (London) MSC: 03B45 PDFBibTeX XMLCite \textit{T. Kowalski} and \textit{J. Slaney}, Rep. Math. Logic 43, 65--72 (2008; Zbl 1156.03020)
van Benthem, Johan A new modal Lindström theorem. (English) Zbl 1118.03012 Log. Univers. 1, No. 1, 125-138 (2007). MSC: 03B45 03C95 PDFBibTeX XMLCite \textit{J. van Benthem}, Log. Univers. 1, No. 1, 125--138 (2007; Zbl 1118.03012) Full Text: DOI
Muskens, Reinhard Intensional models for the theory of types. (English) Zbl 1116.03008 J. Symb. Log. 72, No. 1, 98-118 (2007). MSC: 03B15 03B45 03F05 03B65 PDFBibTeX XMLCite \textit{R. Muskens}, J. Symb. Log. 72, No. 1, 98--118 (2007; Zbl 1116.03008) Full Text: DOI arXiv
Tulenheimo, Tero; Sevenster, Merlijn 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 \textit{T. Tulenheimo} and \textit{M. Sevenster}, in: Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25--28, 2006. London: College Publications. 481--501 (2006; Zbl 1146.03009)
Kieroński, Emanuel On the complexity of the two-variable guarded fragment with transitive guards. (English) Zbl 1115.03021 Inf. Comput. 204, No. 11, 1663-1703 (2006). MSC: 03B70 03B44 68Q17 03B10 03B45 PDFBibTeX XMLCite \textit{E. Kieroński}, Inf. Comput. 204, No. 11, 1663--1703 (2006; Zbl 1115.03021) Full Text: DOI
Humberstone, Lloyd Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5. (English) Zbl 1101.03020 J. Philos. Log. 35, No. 5, 435-487 (2006); erratum ibid. 36, No. 2, 249 (2007). MSC: 03B45 03B47 06F35 PDFBibTeX XMLCite \textit{L. Humberstone}, J. Philos. Log. 35, No. 5, 435--487 (2006; Zbl 1101.03020) Full Text: DOI
ten Cate, Balder Expressivity of second order propositional modal logic. (English) Zbl 1106.03016 J. Philos. Log. 35, No. 2, 209-223 (2006). MSC: 03B45 PDFBibTeX XMLCite \textit{B. ten Cate}, J. Philos. Log. 35, No. 2, 209--223 (2006; Zbl 1106.03016) Full Text: DOI
Linh Anh Nguyen 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 \textit{Linh Anh Nguyen}, in: 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. 249--268 (2005; Zbl 1102.03018)
ten Cate, Balder Interpolation for extended modal languages. (English) Zbl 1089.03014 J. Symb. Log. 70, No. 1, 223-234 (2005). MSC: 03B45 03C40 03G15 PDFBibTeX XMLCite \textit{B. ten Cate}, J. Symb. Log. 70, No. 1, 223--234 (2005; Zbl 1089.03014) Full Text: DOI
Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael Undecidability of first-order intuitionistic and modal logics with two variables. (English) Zbl 1096.03008 Bull. Symb. Log. 11, No. 3, 428-438 (2005). MSC: 03B25 03B20 03B45 PDFBibTeX XMLCite \textit{R. Kontchakov} et al., Bull. Symb. Log. 11, No. 3, 428--438 (2005; Zbl 1096.03008) Full Text: DOI Link
Demri, Stéphane; de Nivelle, Hans Deciding regular grammar logics with converse through first-order logic. (English) Zbl 1083.03023 J. Logic Lang. Inf. 14, No. 3, 289-329 (2005). MSC: 03B45 68Q42 03B25 03B20 03B35 03B70 PDFBibTeX XMLCite \textit{S. Demri} and \textit{H. de Nivelle}, J. Logic Lang. Inf. 14, No. 3, 289--329 (2005; Zbl 1083.03023) Full Text: DOI arXiv
ten Cate, Balder; Franceschet, Massimo Guarded fragments with constants. (English) Zbl 1080.03002 J. Logic Lang. Inf. 14, No. 3, 281-288 (2005). MSC: 03B20 03B25 03D15 03B45 PDFBibTeX XMLCite \textit{B. ten Cate} and \textit{M. Franceschet}, J. Logic Lang. Inf. 14, No. 3, 281--288 (2005; Zbl 1080.03002) Full Text: DOI
van Benthem, Johan Guards, bounds, and generalized semantics. (English) Zbl 1080.03003 J. Logic Lang. Inf. 14, No. 3, 263-279 (2005). MSC: 03B20 03B25 03B45 PDFBibTeX XMLCite \textit{J. van Benthem}, J. Logic Lang. Inf. 14, No. 3, 263--279 (2005; Zbl 1080.03003) Full Text: DOI
Otto, Martin Modal and guarded characterisation theorems over finite transition systems. (English) Zbl 1056.03018 Ann. Pure Appl. Logic 130, No. 1-3, 173-205 (2004). MSC: 03C13 03B70 03B45 68Q85 PDFBibTeX XMLCite \textit{M. Otto}, Ann. Pure Appl. Logic 130, No. 1--3, 173--205 (2004; Zbl 1056.03018) Full Text: DOI
Szwast, Wiesław; Tendera, Lidia The guarded fragment with transitive guards. (English) Zbl 1048.03010 Ann. Pure Appl. Logic 128, No. 1-3, 227-276 (2004). MSC: 03B25 03D15 68Q17 03B45 PDFBibTeX XMLCite \textit{W. Szwast} and \textit{L. Tendera}, Ann. Pure Appl. Logic 128, No. 1--3, 227--276 (2004; Zbl 1048.03010) Full Text: DOI
Bystrov, P. I. 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 \textit{P. I. Bystrov}, in: Logicheskie issledovaniya. 10. Moskva: Nauka. 17--22 (2003; Zbl 1043.03016)
Berwanger, Dietmar Game logic is strong enough for parity games. (English) Zbl 1046.03017 Stud. Log. 75, No. 2, 205-219 (2003). Reviewer: Benedikt Löwe (Amsterdam) MSC: 03B80 03B45 68Q60 03B70 03D70 PDFBibTeX XMLCite \textit{D. Berwanger}, Stud. Log. 75, No. 2, 205--219 (2003; Zbl 1046.03017) Full Text: DOI
Areces, Carlos; Blackburn, Patrick; Marx, Maarten Repairing the interpolation theorem in quantified modal logic. (English) Zbl 1031.03025 Ann. Pure Appl. Logic 124, No. 1-3, 287-299 (2003). MSC: 03B45 03C40 PDFBibTeX XMLCite \textit{C. Areces} et al., Ann. Pure Appl. Logic 124, No. 1--3, 287--299 (2003; Zbl 1031.03025) Full Text: DOI
Georgieva, Lilia; Hustadt, Ullrich; Schmidt, Renate A. Hyperresolution for guarded formulae. (English) Zbl 1020.03007 J. Symb. Comput. 36, No. 1-2, 163-192 (2003). MSC: 03B25 03B45 03B35 PDFBibTeX XMLCite \textit{L. Georgieva} et al., J. Symb. Comput. 36, No. 1--2, 163--192 (2003; Zbl 1020.03007) Full Text: DOI
de Nivelle, Hans; de Rijke, Maarten Deciding the guarded fragments by resolution. (English) Zbl 1012.03046 J. Symb. Comput. 35, No. 1, 21-58 (2003). MSC: 03B70 03B45 03B25 03B35 PDFBibTeX XMLCite \textit{H. de Nivelle} and \textit{M. de Rijke}, J. Symb. Comput. 35, No. 1, 21--58 (2003; Zbl 1012.03046) Full Text: DOI
Maksimova, Larisa 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). Reviewer: Jānis Cīrulis (Riga) MSC: 03B45 03G25 PDFBibTeX XMLCite \textit{L. Maksimova}, in: Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4--7, 2000. Singapore: World Scientific. 349--363 (2002; Zbl 1039.03011)
Hirsch, Colin; Tobies, Stephan 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 \textit{C. Hirsch} and \textit{S. Tobies}, in: Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4--7, 2000. Singapore: World Scientific. 257--277 (2002; Zbl 1031.03034)
Marx, Maarten Computing with cylindric modal logics and arrow logics, lower bounds. (English) Zbl 1010.03013 Stud. Log. 72, No. 2, 233-252 (2002). MSC: 03B45 03B25 03G15 PDFBibTeX XMLCite \textit{M. Marx}, Stud. Log. 72, No. 2, 233--252 (2002; Zbl 1010.03013) Full Text: DOI
Hoogland, Eva; Marx, Maarten Interpolation and definability in guarded fragments. (English) Zbl 0998.03004 Stud. Log. 70, No. 3, 373-409 (2002). MSC: 03B20 03C40 03B45 PDFBibTeX XMLCite \textit{E. Hoogland} and \textit{M. Marx}, Stud. Log. 70, No. 3, 373--409 (2002; Zbl 0998.03004) Full Text: DOI
Hodkinson, Ian Loosely guarded fragment of first-order logic has the finite model property. (English) Zbl 0998.03003 Stud. Log. 70, No. 2, 205-240 (2002). MSC: 03B20 03B45 03C07 03C13 03C30 03G15 03B44 PDFBibTeX XMLCite \textit{I. Hodkinson}, Stud. Log. 70, No. 2, 205--240 (2002; Zbl 0998.03003) Full Text: DOI
Jansana, Ramon Full models for positive modal logic. (English) Zbl 0997.03021 Math. Log. Q. 48, No. 3, 427-445 (2002). MSC: 03B45 03G99 03B22 PDFBibTeX XMLCite \textit{R. Jansana}, Math. Log. Q. 48, No. 3, 427--445 (2002; Zbl 0997.03021) Full Text: DOI
Grädel, Erich 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 \textit{E. Grädel}, in: 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; Zbl 1012.03505)
Andréka, H. A finite axiomatization of locally square cylindric-relativized set algebras. (English) Zbl 0997.03052 Stud. Sci. Math. Hung. 38, 1-11 (2001). Reviewer: Péter Komjáth (Budapest) MSC: 03G15 03B45 03C05 03G25 03B25 08C99 PDFBibTeX XMLCite \textit{H. Andréka}, Stud. Sci. Math. Hung. 38, 1--11 (2001; Zbl 0997.03052) Full Text: DOI
van Benthem, Johan 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 \textit{J. van Benthem}, in: 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. 73--100 (2001; Zbl 0993.03021)
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde Modal logic. (English) Zbl 0988.03006 Cambridge Tracts in Theoretical Computer Science. 53. Cambridge: Cambridge University Press. xxii, 554 p. (2001). Reviewer: Bernhard Heinemann (Hagen) MSC: 03-02 03B45 68Q15 03B25 03B70 PDFBibTeX XMLCite \textit{P. Blackburn} et al., Modal logic. Cambridge: Cambridge University Press (2001; Zbl 0988.03006)
Celani, Sergio A. A fragment of intuitionistic dynamic logic. (English) Zbl 0977.03018 Fundam. Inform. 46, No. 3, 187-197 (2001). MSC: 03B70 03B45 PDFBibTeX XMLCite \textit{S. A. Celani}, Fundam. Inform. 46, No. 3, 187--197 (2001; Zbl 0977.03018)
Marx, Maarten Tolerance logic. (English) Zbl 1045.03031 J. Logic Lang. Inf. 10, No. 3, 353-373 (2001). MSC: 03B60 03B45 68T27 PDFBibTeX XMLCite \textit{M. Marx}, J. Logic Lang. Inf. 10, No. 3, 353--373 (2001; Zbl 1045.03031) Full Text: DOI
Demri, Stéphane; Goré, Rajeev 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). MSC: 03B45 03F45 03B35 03D15 PDFBibTeX XMLCite \textit{S. Demri} and \textit{R. Goré}, Lect. Notes Comput. Sci. 1761, 152--166 (2000; Zbl 0956.03026)
de Nivelle, Hans; Schmidt, Renate A.; Hustadt, Ullrich Resolution-based methods for modal logics. (English) Zbl 0947.03014 Log. J. IGPL 8, No. 3, 265-292 (2000). MSC: 03B35 68T15 03B45 03B20 PDFBibTeX XMLCite \textit{H. de Nivelle} et al., Log. J. IGPL 8, No. 3, 265--292 (2000; Zbl 0947.03014) Full Text: DOI Link
Gabbay, Dov M.; Shehtman, Valentin B. Products of modal logics. II: Relativised quantifiers in classical logic. (English) Zbl 0970.03025 Log. J. IGPL 8, No. 2, 165-210 (2000). Reviewer: G.Mints (Stanford) MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{D. M. Gabbay} and \textit{V. B. Shehtman}, Log. J. IGPL 8, No. 2, 165--210 (2000; Zbl 0970.03025) Full Text: DOI
Chagrov, A. V. 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 \textit{A. V. Chagrov}, in: Logicheskie issledovaniya. Vyp. 6. Moscow: Izdatel'stvo ``Rossijskaya Politicheskaya Ehntsiklopediya'' (ROSSPEHN). 69--75 (1999; Zbl 1004.03017)
Marx, Maarten; Mikulás, Szabolcs; Schlobach, Stefan Tableau calculus for local cubic modal logic and its implementation. (English) Zbl 0939.03025 Log. J. IGPL 7, No. 6, 755-778 (1999). MSC: 03B45 03B35 68T15 PDFBibTeX XMLCite \textit{M. Marx} et al., Log. J. IGPL 7, No. 6, 755--778 (1999; Zbl 0939.03025) Full Text: DOI Link
Barwise, Jon; van Benthem, Johan Interpolation, preservation, and pebble games. (English) Zbl 0930.03040 J. Symb. Log. 64, No. 2, 881-903 (1999). MSC: 03C70 03C40 03C80 PDFBibTeX XMLCite \textit{J. Barwise} and \textit{J. van Benthem}, J. Symb. Log. 64, No. 2, 881--903 (1999; Zbl 0930.03040) Full Text: DOI
Venema, Yde; Marx, Maarten [Hirsch, Robin; Hodkinson, Ian; Mikulás, Szabolcs; Reynolds, Mark] 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) MSC: 03B45 03B20 03C80 03G15 03B25 PDFBibTeX XMLCite \textit{Y. Venema} and \textit{M. Marx}, Stud. Fuzziness Soft Comput. 24, 124--167 (1999; Zbl 0924.03030)
Gabbay, Dov M.; Olivetti, Nicola Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication. (English) Zbl 0962.03013 Stud. Log. 61, No. 2, 237-280 (1998). MSC: 03B45 03B35 03F05 PDFBibTeX XMLCite \textit{D. M. Gabbay} and \textit{N. Olivetti}, Stud. Log. 61, No. 2, 237--280 (1998; Zbl 0962.03013) Full Text: DOI
Madarász, Judit X. Interpolation and amalgamation; pushing the limits. I. (English) Zbl 0964.03071 Stud. Log. 61, No. 3, 311-345 (1998). MSC: 03G25 03B45 03C40 03G05 06E25 PDFBibTeX XMLCite \textit{J. X. Madarász}, Stud. Log. 61, No. 3, 311--345 (1998; Zbl 0964.03071) Full Text: DOI
de Nivelle, Hans A resolution decision procedure for the guarded fragment. (English) Zbl 0927.03027 Kirchner, Claude (ed.) et al., Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5–10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1421, 191-204 (1998). MSC: 03B35 03B25 03B45 PDFBibTeX XMLCite \textit{H. de Nivelle}, Lect. Notes Comput. Sci. 1421, 191--204 (1998; Zbl 0927.03027)
Balbiani, Philippe; Fariñas del Cerro, Luis Complete axiomatization of a relative modal logic with composition and intersection. (English) Zbl 0923.03043 J. Appl. Non-Class. Log. 8, No. 4, 325-335 (1998). MSC: 03B70 03B45 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{L. Fariñas del Cerro}, J. Appl. Non-Class. Log. 8, No. 4, 325--335 (1998; Zbl 0923.03043) Full Text: DOI HAL
Rabinovich, Alexander On the decidability of continuous time specification formalisms. (English) Zbl 0913.03018 J. Log. Comput. 8, No. 5, 669-678 (1998). MSC: 03B25 03B45 03D05 68Q05 PDFBibTeX XMLCite \textit{A. Rabinovich}, J. Log. Comput. 8, No. 5, 669--678 (1998; Zbl 0913.03018) Full Text: DOI Link
Rabinovich, Alexander Expressive completeness of temporal logic of action. (English) Zbl 0912.03011 Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 229-238 (1998). MSC: 03B45 68Q10 03B70 03B15 03B25 PDFBibTeX XMLCite \textit{A. Rabinovich}, Lect. Notes Comput. Sci. 1450, 229--238 (1998; Zbl 0912.03011)
Andréka, Hajnal; Németi, István; van Benthem, Johan Modal languages and bounded fragments of predicate logic. (English) Zbl 0919.03013 J. Philos. Log. 27, No. 3, 217-274 (1998). Reviewer: Michael Zakharyaschev (Moskva) MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{H. Andréka} et al., J. Philos. Log. 27, No. 3, 217--274 (1998; Zbl 0919.03013) Full Text: DOI
Zakharov, Vladimir Verification of PLTL formulae by means of monotone disjunctive normal forms. (English) Zbl 0887.03011 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 419-429 (1997). MSC: 03B45 03D05 03B25 PDFBibTeX XMLCite \textit{V. Zakharov}, Lect. Notes Comput. Sci. 1234, 419--429 (1997; Zbl 0887.03011)
Heinemann, Bernhard On binary computation structures. (English) Zbl 0873.03022 Math. Log. Q. 43, No. 2, 203-215 (1997). MSC: 03B45 68T27 68T30 PDFBibTeX XMLCite \textit{B. Heinemann}, Math. Log. Q. 43, No. 2, 203--215 (1997; Zbl 0873.03022) Full Text: DOI
Venema, Yde A modal logic of quantification and substitution. (English) Zbl 0843.03009 Csirmaz, László (ed.) et al., Logic colloquium ’92, Veszprém, Hungary, August 9-15, 1992. Stanford, CA: CSLI Publications. Studies in Logic, Language and Computation. 293-309 (1995). MSC: 03B45 03G25 PDFBibTeX XMLCite \textit{Y. Venema}, in: Logic colloquium '92, Veszprém, Hungary, August 9-15, 1992. Stanford, CA: CSLI Publications. 293--309 (1995; Zbl 0843.03009)
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan Back and forth between modal logic and classical logic. (English) Zbl 0840.03010 J. IGPL 3, No. 5, 685-720 (1995). Reviewer: S.Miura (Okazaki/Aichi) MSC: 03B45 PDFBibTeX XMLCite \textit{H. Andréka} et al., J. IGPL 3, No. 5, 685--720 (1995; Zbl 0840.03010)
Kracht, Marcus Syntactic codes and grammar refinement. (English) Zbl 0833.03009 J. Logic Lang. Inf. 4, No. 1, 41-60 (1995); erratum No. 4, 359-380 (1995). MSC: 03B65 68Q42 03B45 PDFBibTeX XMLCite \textit{M. Kracht}, J. Logic Lang. Inf. 4, No. 1, 41--60 (1995; Zbl 0833.03009) Full Text: DOI
Venema, Yde A modal logic for quantification and substitution. (English) Zbl 0810.03012 Bull. IGPL 2, No. 1, 31-45 (1994). MSC: 03B45 03B20 03G15 03C90 PDFBibTeX XMLCite \textit{Y. Venema}, Bull. IGPL 2, No. 1, 31--45 (1994; Zbl 0810.03012) Full Text: DOI Link
Blass, Andreas A faithful modal interpretation of propositional ontology. (English) Zbl 0809.03014 Math. Jap. 40, No. 2, 217-223 (1994). Reviewer: S.Gottwald (Leipzig) MSC: 03B60 03B45 03E70 PDFBibTeX XMLCite \textit{A. Blass}, Math. Japon. 40, No. 2, 217--223 (1994; Zbl 0809.03014)
Wolter, Frank Solution to a problem of Goranko and Passy. (English) Zbl 0788.03026 J. Log. Comput. 4, No. 1, 21-22 (1994). MSC: 03B45 PDFBibTeX XMLCite \textit{F. Wolter}, J. Log. Comput. 4, No. 1, 21--22 (1994; Zbl 0788.03026) Full Text: DOI
Kracht, Marcus 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). Reviewer: D.Skvortsov (Moskva) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Kracht}, Synth. Libr. 229, 175--214 (1993; Zbl 0829.03010)
Berarducci, Alessandro; Verbrugge, Rineke On the provability logic of bounded arithmetic. (English) Zbl 0803.03037 Ann. Pure Appl. Logic 61, No. 1-2, 75-93 (1993). Reviewer: A.Berarducci MSC: 03F30 03B45 PDFBibTeX XMLCite \textit{A. Berarducci} and \textit{R. Verbrugge}, Ann. Pure Appl. Logic 61, No. 1--2, 75--93 (1993; Zbl 0803.03037) Full Text: DOI
Ulrich, Dolph On the incompleteness of a descending chain of extensions of implicational S5. (English) Zbl 0812.03010 Z. Math. Logik Grundlagen Math. 38, No. 4, 321-323 (1992). Reviewer: D.Skvortsov (Moskva) MSC: 03B45 PDFBibTeX XMLCite \textit{D. Ulrich}, Z. Math. Logik Grundlagen Math. 38, No. 4, 321--323 (1992; Zbl 0812.03010) Full Text: DOI
Došen, Kosta The first axiomatization of relevant logic. (English) Zbl 0767.03009 J. Philos. Log. 21, No. 4, 339-356 (1992). Reviewer: L.F.Goble (Salem) MSC: 03B47 03-03 03B45 PDFBibTeX XMLCite \textit{K. Došen}, J. Philos. Log. 21, No. 4, 339--356 (1992; Zbl 0767.03009) Full Text: DOI
Reyes, Gonzalo E. A topos-theoretic approach to reference and modality. (English) Zbl 0757.03013 Notre Dame J. Formal Logic 32, No. 3, 359-391 (1991). Reviewer: V.Shekhtman (Moskva) MSC: 03B65 03G30 03B45 18B25 PDFBibTeX XMLCite \textit{G. E. Reyes}, Notre Dame J. Formal Logic 32, No. 3, 359--391 (1991; Zbl 0757.03013) Full Text: DOI
Cleaveland, Rance; Steffen, Bernhard Computing behavioural relations, logically. (English) Zbl 0769.68024 Automata, languages and programming, Proc. 18th Int. Colloq., Madrid/Spain 1991, Lect. Notes Comput. Sci. 510, 127-138 (1991). MSC: 68Q10 03B45 03B80 PDFBibTeX XMLCite \textit{R. Cleaveland} and \textit{B. Steffen}, Lect. Notes Comput. Sci. 510, 127--138 (1991; Zbl 0769.68024)
Hájek, Petr; Montagna, Franco The logic of \(\Pi_ 1\)-conservativity. (English) Zbl 0713.03007 Arch. Math. Logic 30, No. 2, 113-123 (1990). Reviewer: H.C.M.de Swart MSC: 03B45 PDFBibTeX XMLCite \textit{P. Hájek} and \textit{F. Montagna}, Arch. Math. Logic 30, No. 2, 113--123 (1990; Zbl 0713.03007) Full Text: DOI
Ulrich, Dolph An integer-valued matrix characteristic for implicational S5. (English) Zbl 0709.03014 Bull. Sect. Log., Pol. Acad. Sci. 19, No. 3, 87-91 (1990). Reviewer: M.Urchs MSC: 03B45 PDFBibTeX XMLCite \textit{D. Ulrich}, Bull. Sect. Logic, Pol. Acad. Sci. 19, No. 3, 87--91 (1990; Zbl 0709.03014)
Maliaukienė, L. The replaceability of the induction axiom in the temporal-arithmetical successor-system with predicate \(``<''\). (Russian. English summary) Zbl 0704.03039 Lit. Mat. Sb. 30, No. 1, 117-125 (1990). MSC: 03F30 03B45 PDFBibTeX XMLCite \textit{L. Maliaukienė}, Litov. Mat. Sb. 30, No. 1, 117--125 (1990; Zbl 0704.03039)
Gargov, George; Passy, Solomon 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 \textit{G. Gargov} and \textit{S. Passy}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 299--309 (1990; Zbl 0777.03005)
Popov, Vladimir M. On a closure of a set of classically essential formulas and on relevant implication. (English) Zbl 0671.03012 Bull. Sect. Logic, Pol. Acad. Sci. 18, No. 1, 20-24 (1989). Reviewer: M.W.Bunder MSC: 03B45 PDFBibTeX XMLCite \textit{V. M. Popov}, Bull. Sect. Logic, Pol. Acad. Sci. 18, No. 1, 20--24 (1989; Zbl 0671.03012)
Orłowska, Ewa Montague logic and its extensions. (English) Zbl 0693.03011 Categorial grammar, 301-323 (1988). MSC: 03B65 03B45 PDFBibTeX XML
Méndez, José M. Deduction theorems for \(T^{\circ}_{\to}\), \(E^{\circ}_{\to}\), \(R^{\circ}_{\to}\), \(S4^{\circ}_{\to}\) and \(I^{\circ}_{\to}\). (English) Zbl 0688.03009 Rep. Math. Logic 22, 9-13 (1988). Reviewer: L.F.Goble MSC: 03B45 PDFBibTeX XMLCite \textit{J. M. Méndez}, Rep. Math. Logic 22, 9--13 (1988; Zbl 0688.03009)
Humberstone, I. L. Operational semantics for positive R. (English) Zbl 0664.03017 Notre Dame J. Formal Logic 29, No. 1, 61-80 (1988). Reviewer: S.Giambrone MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{I. L. Humberstone}, Notre Dame J. Formal Logic 29, No. 1, 61--80 (1988; Zbl 0664.03017) Full Text: DOI
Malyaukene, Liviya On positive induction axiom in linear temporal logic. (Russian. English summary) Zbl 0642.03012 Mat. Logika Primen. 5, 41-47 (1987). MSC: 03B45 PDFBibTeX XMLCite \textit{L. Malyaukene}, Mat. Logika Primen. 5, 41--47 (1987; Zbl 0642.03012)
Meyer, Robert K. Sentential constants in R and \(R^{\neg}\). (English) Zbl 0624.03014 Stud. Log. 45, 301-327 (1986). Reviewer: S.Giambrone MSC: 03B45 03G25 PDFBibTeX XMLCite \textit{R. K. Meyer}, Stud. Log. 45, 301--327 (1986; Zbl 0624.03014) Full Text: DOI
Ulrich, Dolph A descending chain of incomplete extensions of implicational S5. (English) Zbl 0577.03005 Z. Math. Logik Grundlagen Math. 31, 201-208 (1985). Reviewer: H.P.Schmitt MSC: 03B45 PDFBibTeX XMLCite \textit{D. Ulrich}, Z. Math. Logik Grundlagen Math. 31, 201--208 (1985; Zbl 0577.03005) Full Text: DOI
Smirnov, V. A. Definition of modal operators by means of tense operators. (Russian) Zbl 0598.03016 Modal and intensional logics and their application to problems of methodology of science, Collect. Artic., Moskva 1984, 14-31 (1984). MSC: 03B45 PDFBibTeX XML
Farinas del Cerro, Luis Modalities for total correctness. (English) Zbl 0576.68008 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 301-310 (1984). Reviewer: J.-J.Ch.Meyer MSC: 68Q65 68Q60 03B45 68T15 PDFBibTeX XMLCite \textit{L. Farinas del Cerro}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 301--310 (1984; Zbl 0576.68008)
Božić, Milan Positive logic with double negation. (English) Zbl 0569.03010 Publ. Inst. Math., Nouv. Sér. 35(49), 21-31 (1984). Reviewer: A.A.Johanson MSC: 03B45 PDFBibTeX XMLCite \textit{M. Božić}, Publ. Inst. Math., Nouv. Sér. 35(49), 21--31 (1984; Zbl 0569.03010) Full Text: EuDML
Figallo, Aldo V. \(I_ 3\)-\(\nabla\) algebras. (English) Zbl 0554.03032 Rev. Colomb. Mat. 17, 105-116 (1983). Reviewer: M.Pałasiński MSC: 03G25 03B45 03B50 PDFBibTeX XMLCite \textit{A. V. Figallo}, Rev. Colomb. Mat. 17, 105--116 (1983; Zbl 0554.03032) Full Text: EuDML
Farinas-del-Cerro, Luis Prolegomena for programming in modal logic. (English) Zbl 0528.68015 Cybernetics and systems research, Proc. 6th Eur. Meet., Vienna/Austria 1982, 917-920 (1982). MSC: 68Q65 03B45 68N01 PDFBibTeX XML