Search results
- 1.0543241 - ÚI 2022 RIV NL eng J - Journal Article
Klein, D. - Majer, Ondrej - Rad, S. R.
Probabilities with Gaps and Gluts.
Journal of Philosophical Logic. Roč. 50, č. 5 (2021), s. 1107-1141. ISSN 0022-3611
R&D Projects: GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807
Keywords : Belnap-Dunn logic * First Degree Entailment * Non-standard probability theory * Probability theory * Bayes’ updating * Jeffrey updating * Probability aggregation
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access
http://dx.doi.org/10.1007/s10992-021-09592-x
Permanent Link: http://hdl.handle.net/11104/0320492File Download Size Commentary Version Access 0543241-aoaf.pdf 1 918.2 KB OA CC BY 4.0 Publisher’s postprint open-access 0543241-onloa.pdf 0 914.5 KB OA CC BY 4.0 Publisher’s postprint open-access - 2.0511426 - ÚI 2020 RIV DE eng C - Conference Paper (international conference)
Sedlár, Igor - Punčochář, Vít - Tedder, Andrew
First Degree Entailment with Group Attitudes and Information Updates.
Logic, Rationality, and Interaction. Berlin: Springer, 2019 - (Blackburn, P.; Lorini, E.; Guo, M.), s. 273-285. Lecture Notes in Computer Science, 11813. ISBN 978-3-662-60291-1. ISSN 0302-9743.
[LORI 2019. International Workshop on Logic, Rationality, and Interaction /7./. Chongqing (CN), 18.10.2019-21.10.2019]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Common knowledge * Epistemic logic * First Degree Entailment * Information update * Lambek Calculus
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0301697 - 3.0508255 - ÚI 2020 CH eng A - Abstract
Punčochář, Vít - Sedlár, Igor
From the positive fragment of PDL to its non-classical extensions.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 100-104.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Lambek calculus * dynamic logic * First Degree Entailment * paraconsistent logic * Propositional Dynamic Logic * substructural logics
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Permanent Link: http://hdl.handle.net/11104/0299216File Download Size Commentary Version Access 0508255-aw.pdf 2 525.5 KB volně online Publisher’s postprint open-access - 4.0505161 - ÚI 2020 RIV CH eng M - Monography Chapter
Sedlár, Igor - Majer, Ondrej
Modelling sources of inconsistent information in paraconsistent modal logic.
New Essays on Belnap-Dunn Logic. Cham: Springer, 2019 - (Omori, H.; Wansing, H.), s. 293-310. Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 418. ISBN 978-3-030-31135-3
R&D Projects: GA ČR GBP202/12/G061; GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : Compatibility * Ex falso quodlibet * First degree entailment * Inconsistent information * Modal logic * Paraconsistent logic * Paraconsistent modal logic * Sources of information
OECD category: Pure mathematics; Philosophy, History and Philosophy of science and technology (FLU-F)
Permanent Link: http://hdl.handle.net/11104/0296660