The Intensional Structure of Epistemic Convictions

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We discuss an axiomatic setup as an appropriate account to the intensional structure of epistemic convictions. This includes a resolution of the problem of logical omniscience as well as the individual rendering of knowledge by different persons.

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers
EditorsLoek Cleophas, Mieke Massink
Place of PublicationCham
PublisherSpringer
Pages192-200
Number of pages9
ISBN (Electronic)978-3-030-67220-1
ISBN (Print)978-3-030-67219-5
DOIs
Publication statusPublished - 2021
Event2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020 - Amsterdam, Netherlands
Duration: 14 Sep 202015 Sep 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume12524 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020
Country/TerritoryNetherlands
CityAmsterdam
Period14/09/2015/09/20

Fingerprint

Dive into the research topics of 'The Intensional Structure of Epistemic Convictions'. Together they form a unique fingerprint.

Cite this