×

Found 9,069 Documents (Results 1–100)

100
MathJax

Oskar Becker, On the logic of modalities (1930): translation, commentary and analysis. (English) Zbl 07414794

Synthese Library 444. Cham: Springer (ISBN 978-3-030-87547-3/hbk; 978-3-030-87548-0/ebook). x, 390 p. (2022).
MSC:  03-03 03B45 01A60
PDF BibTeX XML Cite
Full Text: DOI

Normative parties in subject position and in object position. (English) Zbl 07503172

Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 147-163 (2021).
MSC:  03A05
PDF BibTeX XML Cite

Exploring a result by Ghilardi: projective formulas vs. the extension property. (English) Zbl 07503169

Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 97-113 (2021).
MSC:  03A05
PDF BibTeX XML Cite

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

Efficient SAT-based minimal model generation methods for modal logic S5. (English) Zbl 07495576

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 225-241 (2021).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI

Formalizing the right to know: epistemic rights as normative positions. (English) Zbl 07483833

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 154-159 (2021).
MSC:  03B45 03B42 68T27
PDF BibTeX XML Cite

New-generation AIs: reasoning about norms and values. (English) Zbl 07483829

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 120-131 (2021).
MSC:  68T27 03B45
PDF BibTeX XML Cite

A logical description of strategizing in social network games. (English) Zbl 07483828

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 107-119 (2021).
MSC:  91A43 03B45 91D30
PDF BibTeX XML Cite

Automated translation of contract texts into defeasible deontic logic. (English) Zbl 07483826

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 81-92 (2021).
MSC:  68T27 03B45 68T50
PDF BibTeX XML Cite

A modal logic of defeasible reasoning. (English) Zbl 07483825

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 68-80 (2021).
MSC:  68T27 03B45
PDF BibTeX XML Cite

A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples. (English) Zbl 07482983

Lesot, Marie-Jeanne (ed.) et al., Fuzzy approaches for soft computing and approximate reasoning: theories and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 394, 45-59 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Behavioral mereology: a modal logic for passing constraints. (English) Zbl 07454909

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 276-288 (2021).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: arXiv Link

Logic in high definition – Trends in logical semantics. Selected papers based on the presentations at the trends in logic 2019 conference. (English) Zbl 07451855

Trends in Logic – Studia Logica Library 56. Cham: Springer (ISBN 978-3-030-53486-8/hbk; 978-3-030-53489-9/pbk; 978-3-030-53487-5/ebook). v, 243 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

On the semilattice of modal operators and decompositions of the discriminator. (English) Zbl 07442314

Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 207-231 (2021).
MSC:  08-XX 03-XX
PDF BibTeX XML Cite
Full Text: DOI arXiv

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