×

Found 576 Documents (Results 1–100)

100
MathJax

Uniform Lyndon interpolation for basic non-normal modal logics. (English) Zbl 07547747

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 287-301 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

A semantics for a failed axiomatization of K. (English) Zbl 07585729

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 481-501 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Countermodel construction via optimal hypersequent calculi for non-normal modal logics. (English) Zbl 1485.03048

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 27-46 (2020).
MSC:  03B45 03F05
PDF BibTeX XML Cite
Full Text: DOI Link

Through an inference rule, darkly. (English) Zbl 1469.03158

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 131-158 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Combining monotone and normal modal logic in nested sequents – with countermodels. (English) Zbl 1468.03023

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 203-220 (2019).
MSC:  03B45 03F05 03F03
PDF BibTeX XML Cite
Full Text: DOI

Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents. (English) Zbl 1435.03084

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 185-202 (2019).
MSC:  03F05 03B45 03B44
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bounded sequent calculi for non-classical logics via hypersequents. (English) Zbl 1468.03021

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 94-110 (2019).
PDF BibTeX XML Cite
Full Text: DOI

A logic for reasoning about group norms. (English) Zbl 1418.03058

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. 301-315 (2018).
MSC:  03B42 03B45
PDF BibTeX XML Cite

Ranking semantics for doxastic necessities and conditionals. (English) Zbl 1418.03099

Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 223-238 (2018).
MSC:  03B45
PDF BibTeX XML Cite

Normal extensions of KTB of codimension 3. (English) Zbl 1418.03092

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. 447-458 (2018).
MSC:  03B45 03G25
PDF BibTeX XML Cite
Full Text: arXiv

Cut-free modal theory of definite descriptions. (English) Zbl 1418.03088

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. 387-406 (2018).
MSC:  03B45 03F05
PDF BibTeX XML Cite

Cut-free sequent calculi for products and relativised products of modal logics. (English) Zbl 1418.03080

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. 257-276 (2018).
MSC:  03B45 03F05
PDF BibTeX XML Cite

Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi. (English) Zbl 1418.03075

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. 159-178 (2018).
MSC:  03B45
PDF BibTeX XML Cite

A simple cut-free system for a paraconsistent logic equivalent to S5. (English) Zbl 1418.03126

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. 29-42 (2018).
MSC:  03B53 03B45 03F05
PDF BibTeX XML Cite

Cut-free completeness for modal mu-calculus. (English) Zbl 1452.03055

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 28, 12 p. (2017).
MSC:  03B45 03F05 68Q60
PDF BibTeX XML Cite
Full Text: Link

Negative translations and normal modality. (English) Zbl 1434.03074

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 27, 18 p. (2017).
MSC:  03B45 03B20
PDF BibTeX XML Cite
Full Text: DOI

A fibrational framework for substructural and modal logics. (English) Zbl 1434.03040

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 25, 22 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Non-normal modal logics: a challenge to proof theory. (English) Zbl 1418.03097

Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 125-140 (2017).
MSC:  03B45 03F03
PDF BibTeX XML Cite

Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs. (English) Zbl 06820479

Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 321-335 (2017).
MSC:  03F05 03B45
PDF BibTeX XML Cite
Full Text: DOI arXiv

A canonical model construction for iteration-free PDL with intersection. (English) Zbl 1478.03036

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, 120-134 (2016).
MSC:  03B45 03B70 03F05
PDF BibTeX XML Cite
Full Text: arXiv Link

Some remarks on the proof-theory and the semantics of infinitary modal logic. (English) Zbl 1439.03045

Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 291-318 (2016).
MSC:  03B45 03C75 03F05
PDF BibTeX XML Cite
Full Text: DOI

Machine-checked proof-theory for propositional modal logics. (English) Zbl 1439.03035

Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 173-243 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Constructive embedding from extensions of logics of strict implication into modal logics. (English) Zbl 1429.03087

Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 223-251 (2016).
MSC:  03B45 03B20 03F05
PDF BibTeX XML Cite
Full Text: DOI

Semantical approach to cut elimination and subformula property in modal logic. (English) Zbl 1429.03199

Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 1-15 (2016).
MSC:  03F05 03B45
PDF BibTeX XML Cite
Full Text: DOI

It ain’t necessarily so: basic sequent systems for negative modalities. (English) Zbl 1400.03047

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). 449-468 (2016).
MSC:  03B45 03F05
PDF BibTeX XML Cite
Full Text: arXiv

“Knowing value” logic as a normal modal logic. (English) Zbl 1400.03043

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). 362-381 (2016).
MSC:  03B45 03B42
PDF BibTeX XML Cite
Full Text: arXiv

A cut-free sequent calculus for the logic of subset spaces. (English) Zbl 1400.03070

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). 268-287 (2016).
MSC:  03F05 03B45 03F03
PDF BibTeX XML Cite

Modular focused proof systems for intuitionistic modal logics. (English) Zbl 1387.03016

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 16, 18 p. (2016).
MSC:  03B45 03F05
PDF BibTeX XML Cite
Full Text: DOI

Sequent calculus for intuitionistic epistemic logic IEL. (English) Zbl 1476.03014

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 187-201 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A sequent calculus for a modal logic on finite data trees. (English) Zbl 1370.03043

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 32, 16 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software