Search Results - "modal logic"
Suggested Topics within your search.
Suggested Topics within your search.
- Philosophy: logic 7
- Ethics & moral philosophy 3
- Philosophy 3
- Western philosophy, from c 1900 - 3
- Algorithms & data structures 2
- Artificial intelligence 2
- Computer programming / software development 2
- Computer science 2
- Mathematical foundations 2
- Mathematical theory of computation 2
- Philosophy: epistemology & theory of knowledge 2
- Science: general issues 2
- Software Engineering 2
- Systems analysis & design 2
- linguistics 2
- Mathematics & science 1
- Research & information: general 1
-
1
Nuel Belnap on Indeterminism and Free Action
Published 2014Subjects: “…Modal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Nuel Belnap on Indeterminism and Free Action
Published 2014Subjects: “…Modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
3
Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus
Published 2015Subjects: “…Modal logic…”
DOAB: description of the publication
Electronic Book Chapter -
4
Chapter Ruth Barcan Marcus on Believing Without a Language
Published 2015Subjects: “…Modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5
Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus
Published 2015Subjects: “…Modal logic…”
OAPEN Library: description of the publication
Electronic Book Chapter -
6
Sémantique formelle: Volume 1 Introduction à la grammaire de Montague
Published 2017Subjects: “…temporal and modal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Sémantique formelle: Volume 1 Introduction à la grammaire de Montague
Published 2017Subjects: “…temporal and modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
8
Topics of Thought The Logic of Knowledge, Belief, Imagination
Published 2022Subjects: “…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
Electronic Book Chapter -
9
Topics of Thought The Logic of Knowledge, Belief, Imagination
Published 2022Subjects: “…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
Electronic Book Chapter -
10
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...
Published 2018Subjects: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
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...
Published 2018Subjects: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
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...
Published 2018Subjects: “…modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
13
Inquisitive Logic Consequence and Inference in the Realm of Questions
Published 2022Subjects: “…Questions in modal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
Inquisitive Logic Consequence and Inference in the Realm of Questions
Published 2022Subjects: “…Questions in modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
15
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Subjects: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Subjects: “…modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
17
Deductive Systems in Traditional and Modern Logic
Published 2020Subjects: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter