×

Found 701 Documents (Results 1–100)

Logic functions and equations. Fundamentals and applications using the XBOOLE-monitor. 3rd expanded and updated edition. (English) Zbl 1487.94002

Cham: Springer (ISBN 978-3-030-88944-9/hbk; 978-3-030-88945-6/ebook). xvi, 810 p. (2022).
MSC:  94-01 94D10
PDF BibTeX XML Cite
Full Text: DOI

Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic. (English) Zbl 07496655

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 329-344 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Finitely-valued propositional dynamic logic. (English) Zbl 07585733

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. 561-579 (2020).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: arXiv

Resource separation in dynamic logic of propositional assignments. (English) Zbl 1496.03124

Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 155-170 (2020).
MSC:  03B70 68Q17 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Mathematics for computer science. Basic concepts, structures and their applications. 3rd expanded and updated edition. (Mathematik für die Informatik. Grundlegende Begriffe, Strukturen und ihre Anwendung.) (German) Zbl 1456.68002

Wiesbaden: Springer Vieweg (ISBN 978-3-658-25808-5/pbk; 978-3-658-25809-2/ebook). xii, 426 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

On the logics with propositional quantifiers extending S5\(\Pi\). (English) Zbl 1418.03079

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

Dependence statements are strict conditionals. (English) Zbl 1418.03046

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. 123-142 (2018).
MSC:  03B42 03B05
PDF BibTeX XML Cite

The model-theoretic expressiveness of propositional proof systems. (English) Zbl 1434.03132

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 27, 18 p. (2017).
MSC:  03F20 03C13
PDF BibTeX XML Cite
Full Text: DOI

Non-classical PDL on the cheap. (English) Zbl 1418.03143

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. 239-255 (2017).
PDF BibTeX XML Cite

Probability measures in \(\text{Gödel}_\varDelta\) logic. (English) Zbl 1496.03096

Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 353-363 (2017).
MSC:  03B50 03G25
PDF BibTeX XML Cite
Full Text: DOI

PPTL_SPIN: a SPIN based model checker for propositional projection temporal logic. (English) Zbl 1461.68124

Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9559, 195-205 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Common knowledge and the knowledge account of assertion. (English) Zbl 1429.03072

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., 253-278 (2016).
MSC:  03B42 03A05
PDF BibTeX XML Cite
Full Text: DOI

Dependency as question entailment. (English) Zbl 1429.03112

Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 129-181 (2016).
MSC:  03B60 03B47 03F03
PDF BibTeX XML Cite
Full Text: DOI

Post completeness in congruential modal logics. (English) Zbl 1400.03041

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

About intuitionistic public announcement logic. (English) Zbl 1400.03026

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). 97-116 (2016).
MSC:  03B42 03B20
PDF BibTeX XML Cite

Decidability of inferring inductive invariants. (English) Zbl 1347.68234

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 217-231 (2016).
MSC:  68Q60 03B25 03B70
PDF BibTeX XML Cite
Full Text: DOI

Propositional logics complexity and the sub-formula property. (English) Zbl 1486.03015

Dal Lago, Ugo (ed.) et al., Proceedings of the tenth international workshop on developments of computational models, DCM 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 1-16 (2015).
PDF BibTeX XML Cite
Full Text: arXiv Link

The minimal system of justification logic with names. (English) Zbl 1429.03123

Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 179-188 (2015).
MSC:  03B62 03B42 03B45
PDF BibTeX XML Cite
Full Text: DOI

Action frames for weak relevant logics. (English) Zbl 1383.03033

Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 267-279 (2015).
MSC:  03B47
PDF BibTeX XML Cite

The principle of reflection via nested sequents. (English) Zbl 1379.03016

Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 185-201 (2015).
MSC:  03F05 03B53
PDF BibTeX XML Cite

Can identity be relativized? (English) Zbl 1376.03007

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 253-262 (2015).
MSC:  03A05 03B05 03B60
PDF BibTeX XML Cite
Full Text: DOI

On extensions of basic propositional logic. (English) Zbl 1432.03017

Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 170-200 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Belief update within propositional fragments. (English) Zbl 1465.68237

Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 165-174 (2015).
MSC:  68T27 03B42 68T30
PDF BibTeX XML Cite
Full Text: DOI HAL

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software