103 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Czech Academy of SciencesCZ6 papers
- Institut National des Sciences Appliquées Centre Val de LoireFR4 papers
- Services déconcentrés d'appui à la recherche Val de LoireFR4 papers
- Université d'OrléansFR4 papers
- Czech Academy of Sciences, Institute of Computer ScienceCZ3 papers
- KU LeuvenBE2 papers
- University of WarsawPL2 papers
- Canadian Institute for Advanced ResearchCA1 paper
- Czech Academy of Sciences, Institute of SociologyCZ1 paper
- Harvard UniversityUS1 paper
- Institute of Philosophy of the Slovak Academy of SciencesSK1 paper
- Institut NéelFR1 paper
14 papers
How attention simplifies mental representations for planning
Jason da Silva Castanheira, Nicholas Shea, Stephen M. Fleming
Human planning is efficient--it frugally deploys limited cognitive resources to accomplish difficult tasks--and flexible--adapting to novel problems and environments. Computational…
Constructive validity of a generalized Kreisel-Putnam rule
Ivo Pezlar
In this paper, we propose a computational interpretation of the generalized Kreisel-Putnam rule, also known as the generalized Harrop rule or simply the Split rule, in the style of…
On Penrose's Analogy between Curved Spacetime Regions and Optical Lenses
Dennis Lehmkuhl, Christian Röken, Juliusz Doboszewski
We present a detailed analysis of Penrose's gravito-optical analogy between the focusing effects of particular families of Ricci- and Weyl-curved spacetime regions on the one hand,…
Non-standard modalities in paraconsistent Gödel logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We introduce a paraconsistent expansion of the Gödel logic with a De Morgan negation and modalities and . We equip it with Kripke semantics on…
Two-layered logics for paraconsistent probabilities
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz -valued logic with Baaz operator and the B…
Qualitative reasoning in a two-layered framework
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value…
Causal nonseparability and its implications for spatiotemporal relations
Laurie Letertre
Quantum nonseparability is a central feature of quantum mechanics, and raises important philosophical questions. Interestingly, a particular theoretical development of quantum mech…
Routley Star in Information-Based Semantics
Vít Punčochář, Igor Sedlár
It is common in various non-classical logics, especially in relevant logics, to characterize negation semantically via the operation known as Routley star. This operation works wel…
Natural Deduction for Assertibility and Deniability
Vít Punčochář, Berta Grimau
In this paper we split every basic propositional connective into two versions, one is called extensional and the other one intensional. The extensional connectives are semantically…
Reasoning with belief functions over Belnap--Dunn logic
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko +2
We design an expansion of Belnap--Dunn logic with belief and plausibility functions that allow non-trivial reasoning with inconsistent and incomplete probabilistic information. We…
Wave mechanics for gravity with point-particles
Christian Maes, Kasper Meerts, Ward Struyve
We consider non-relativistic point-particles coupled to Einstein gravity and their canonical quantization. From the resulting Wheeler-DeWitt wave equation we determine a quantum ve…
Local detailed balance
Christian Maes
We review the physical meaning and mathematical implementation of the condition of local detailed balance for a class of nonequilibrium mesoscopic processes. A central concept is t…
Notes on bounded induction for the compositional truth predicate
Mateusz Łełyk, Bartosz Wcisło
We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with -induction scheme for the truth predicate and the full arithmetic…
Entanglement of N distinguishable particles
Tomasz Bigaj
In their 2002 article, Ghirardi, Marinatto and Weber have proposed a formal analysis of the entanglement properties for a system consisting of N distinguishable particles. Their an…