Résultats de la recherche - "modal logic"

Nuel Belnap on Indeterminism and Free Action

Sujets: “…Modal logic…”
DOAB: download the publication
DOAB: description of the publication

Nuel Belnap on Indeterminism and Free Action

Sujets: “…Modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus

Sujets: “…Modal logic…”
DOAB: description of the publication

Chapter Ruth Barcan Marcus on Believing Without a Language par Proust, Joëlle

Sujets: “…Modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus

Sujets: “…Modal logic…”
OAPEN Library: description of the publication

Sémantique formelle: Volume 1 Introduction à la grammaire de Montague par Roussarie, Laurent

Sujets: “…temporal and modal logic…”
DOAB: download the publication
DOAB: description of the publication

Sémantique formelle: Volume 1 Introduction à la grammaire de Montague par Roussarie, Laurent

Sujets: “…temporal and modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Topics of Thought The Logic of Knowledge, Belief, Imagination par Berto, Francesco

Sujets: “…Modal logic, Epistemic logic, Conditional logic, Hyperintensionality, Subject matters, Suppositional thought, Imagination, Belief revision, Framing effects, Indicative conditionals…”
DOAB: download the publication
DOAB: description of the publication

Topics of Thought The Logic of Knowledge, Belief, Imagination par Berto, Francesco

Sujets: “…Modal logic, Epistemic logic, Conditional logic, Hyperintensionality, Subject matters, Suppositional thought, Imagination, Belief revision, Framing effects, Indicative conditionals…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So... par Ugo Dal Lago

Sujets: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...

Sujets: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...

Sujets: “…modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Inquisitive Logic Consequence and Inference in the Realm of Questions par Ciardelli, Ivano

Sujets: “…Questions in modal logic…”
DOAB: download the publication
DOAB: description of the publication

Inquisitive Logic Consequence and Inference in the Realm of Questions par Ciardelli, Ivano

Sujets: “…Questions in modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Sujets: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Sujets: “…modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Deductive Systems in Traditional and Modern Logic

Sujets: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication

forall x Calgary par Magnus, P.D, Button, Tim, Trueman, Robert, Zach, Richard, Loftis, J. Robert, Thomas-Bolduc, Aaron

Table des matières: “…Preface -- Key notions of logic -- Truth-functional logic -- Truth tables -- Natural deduction for TFL -- First-order logic -- Interpretations -- Natural deduction for FOL -- Modal logic -- Metatheory -- Appendices -- Glossary…”
Access online version

forall x Dortmund par Wimmer, Simon

Access online version

Inquisitive Logic Consequence and Inference in the Realm of Questions / par Ciardelli, Ivano

Table des matières: “…Questions in first-order logic -- 6. Questions in modal logic -- 7. Connections with intuitionistic logic -- 8. …”
Link to Metadata