Utilize the web fullyThanks to cookies, browsing the web will be easier and more comfortable. To process some of them, we need your consent which you can give by clicking the “Accept all” button. More information about cookies and their settings. By refusing, only essential cookies will be loaded.
Accept all Refuse
Show cookie utilization selection

UO > About > Organizational Structure > Faculties & Institutes > Institute for Research and Applications of Fuzzy Modeling

Libor Běhounek


Academic degree, name, surname:
Mgr. Libor Běhounek, Ph.D.
Room, floor, building:
C 602, Building C
Position:
Research interests and teaching:
mathematical logic
Department (Faculty):
Institute for Research and Applications of Fuzzy Modeling
Phone number, mobile:
+420 553 46 1406
E-mail:



No record found.



A graded semantics for counterfactuals
Libor Běhounek, Ondrej Majer
Year: 2021, Synthese
journal article
 
Variable-domain fuzzy sets - Part II
Libor Běhounek, Martina Daňková
Year: 2020, Fuzzy Sets and Systems
journal article
 
A minimalistic many-valued theory of types
Libor Běhounek
Year: 2017, J LOGIC COMPUT
journal article
 
Maxima and minima in fuzzified linear orderings
Libor Běhounek
Year: 2016, FUZZY SET SYST
journal article
 

A bilattice-valued free logic with graded gaps and gluts
Libor Běhounek, Antonín Dvořák
Year: 2023
presentations (congresses, symposia, conferences, workshops)
 
Czech Gathering of Logicians 2023
Libor Běhounek, Martina Daňková
Year: 2023
organizing conference, workshop
 
Free logic admitting truth-value gaps and gluts
Libor Běhounek, Antonín Dvořák
Year: 2023
presentations (congresses, symposia, conferences, workshops)
 
Free quantification in four-valued and fuzzy bilattice-valued logics
Libor Běhounek, Martina Daňková, Antonín Dvořák
Year: 2023
abstract in proceedings
 
Relevant consequence relations: An invitation
Guillermo Badia, Libor Běhounek, Petr Cintula, Andrew Tedder
Year: 2023, The Review of Symbolic Logic
journal article
 
A Vopenka-style indistinguishability principle for formal fuzzy mathematics
Libor Běhounek
Year: 2022
presentations (congresses, symposia, conferences, workshops)
 
A Vopěnka-style principle for fuzzy mathematics
Libor Běhounek
Year: 2022
presentations (congresses, symposia, conferences, workshops)
 
Aggregation Operators with Undefined Inputs or Outputs
Libor Běhounek, Martina Daňková
Year: 2022, INT J UNCERTAIN FUZZ
journal article
 
Making the domains of fuzzy sets explicit
Libor Běhounek
Year: 2022
presentations (congresses, symposia, conferences, workshops)
 
Some non-mainstream uses of fuzzy logic
Libor Běhounek
Year: 2022
presentations (congresses, symposia, conferences, workshops)
 
The Bandler-Kohout product of fuzzy relations with undefined membership degrees
Libor Běhounek, Martina Daňková
Year: 2022
presentations (congresses, symposia, conferences, workshops)
 
A graded semantics for counterfactuals
Libor Běhounek, Ondrej Majer
Year: 2021, Synthese
journal article
 
Do these degrees really go to eleven?
Libor Běhounek
Year: 2021
presentations (congresses, symposia, conferences, workshops)
 
On the connexivity of fuzzy counterfactuals
Libor Běhounek
Year: 2021
presentations (congresses, symposia, conferences, workshops)
 
On the connexivity of fuzzy counterfactuals
Libor Běhounek
Year: 2021
presentations (congresses, symposia, conferences, workshops)
 
Relevant consequence relations
Guillermo Badia, Libor Běhounek, Petr Cintula, Andrew Tedder
Year: 2021
presentations (congresses, symposia, conferences, workshops)
 
Sup-T Compositions of Partial Fuzzy Relations
Libor Běhounek, Martina Daňková
Year: 2021
abstract in proceedings
 
A degree-theoretic framework for feasible knowledge
Libor Běhounek
Year: 2020
abstract in proceedings
 
A many-valued semantics for multi-agent probabilistic-doxastic reasoning
Libor Běhounek
Year: 2020
presentations (congresses, symposia, conferences, workshops)
 
Fuzzy neighborhood semantics for multi-agent probabilistic reasoning in games
Martina Daňková, Libor Běhounek
Year: 2020
abstract in proceedings
 
Fuzzy Relational Modalities Admitting Truth-Valueless Propositions
Libor Běhounek, Antonín Dvořák
Year: 2020, Fuzzy Sets and Systems
journal article
 
Matematická logika a teorie množin / Mathematical Logic and Set Theory
Libor Běhounek, Martina Daňková
Year: 2020
learning texts, university textbooks, tutorials, handbooks
 
Multi-agent probabilistic-doxastic reasoning formalized in Lukasiewicz logic
Libor Běhounek
Year: 2020
presentations (congresses, symposia, conferences, workshops)
 
Variable-domain fuzzy sets - Part I
Libor Běhounek, Martina Daňková
Year: 2020, Fuzzy Sets and Systems
journal article
 
Variable-domain fuzzy sets - Part II
Libor Běhounek, Martina Daňková
Year: 2020, Fuzzy Sets and Systems
journal article
 
A formalism for resource-sensitive epistemic logic
Libor Běhounek
Year: 2019
presentations (congresses, symposia, conferences, workshops)
 
A fuzzy semantic model for multi-agent probabilistic reasoning
Martina Daňková, Libor Běhounek
Year: 2019
presentations (congresses, symposia, conferences, workshops)
 
A many-valued semantics for feasible knowledge
Libor Běhounek
Year: 2019
presentations (congresses, symposia, conferences, workshops)
 
A probabilistic semantics for unknown fuzzy degrees with Monte Carlo approximation
Libor Běhounek
Year: 2019
presentations (congresses, symposia, conferences, workshops)
 
Institute for Investigation of Artificial Intelligence (IIIA) CSIC
Libor Běhounek
Year: 2019
work experience abroad
 
Missing Values and Dragonfly Operations in Fuzzy Relational Compositions
Martin Štěpnička, Thi Hong Nhung CAO, Libor Běhounek, Michal Burda, Aleš Dolný
Year: 2019, INT J APPROX REASON
journal article
 
Non-monotonic abstract multiset consequence relations
Libor Běhounek, Petr Cintula, Tomáš Lávička
Year: 2019
presentations (congresses, symposia, conferences, workshops)
 
Teaching 'Formal set theory' with regard to students' comprehension
Libor Běhounek
Year: 2019
presentations (congresses, symposia, conferences, workshops)
 
Extending Aggregation Functions for Undefined Inputs
Libor Běhounek, Martina Daňková
Year: 2018
presentations (congresses, symposia, conferences, workshops)
 
Extending Aggregation Functions for Undefined Inputs
Libor Běhounek, Martina Daňková
Year: 2018
abstract in proceedings
 
First-order fuzzy modal logic with variable domains
Libor Běhounek, Antonín Dvořák
Year: 2018
presentations (congresses, symposia, conferences, workshops)
 
Fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Year: 2018, Journal of Applied Non-Classical Logics
journal article
 
Hájek-style modalities in fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Year: 2018
presentations (congresses, symposia, conferences, workshops)
 
Kripke modalities with truth-functional gaps
Libor Běhounek, Antonín Dvořák
Year: 2018
abstract in proceedings
 
Kripke modalities with truth-functional gaps
Libor Běhounek, Antonín Dvořák
Year: 2018
presentations (congresses, symposia, conferences, workshops)
 
Non-denoting terms in fuzzy logic: An initial exploration
Libor Běhounek, Antonín Dvořák
Year: 2018
abstract in proceedings
 
Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation
Libor Běhounek, Antonín Dvořák
Year: 2018
abstract in proceedings
 
Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation
Libor Běhounek, Antonín Dvořák
Year: 2018
presentations (congresses, symposia, conferences, workshops)
 
A free semantics for fuzzy logic
Libor Běhounek
Year: 2017
presentations (congresses, symposia, conferences, workshops)
 
A minimalistic many-valued theory of types
Libor Běhounek
Year: 2017, J LOGIC COMPUT
journal article
 
Determinate truth in fuzzy plurivaluationism
Libor Běhounek
Year: 2017
abstract in proceedings
 
First-order fuzzy logic
Libor Běhounek
Year: 2017
presentations (congresses, symposia, conferences, workshops)
 
Free quantification in fuzzy logic
Libor Běhounek
Year: 2017
presentations (congresses, symposia, conferences, workshops)
 
Free quantification in fuzzy logic
Libor Běhounek
Year: 2017
abstract in proceedings
 
Fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Year: 2017
presentations (congresses, symposia, conferences, workshops)
 
On the interpretation of undefined degrees in partial fuzzy logic
Libor Běhounek
Year: 2017
presentations (congresses, symposia, conferences, workshops)
 
On the interpretation of undefined degrees in partial fuzzy logic
Libor Běhounek
Year: 2017
abstract in proceedings
 
Zentralblatt Review: Della Stella, M.E., Guido, C.: Functional many-valued relations
Libor Běhounek
Year: 2017
published expert opinions, reviews
 
Determinate truth in the fuzzy plurivaluationistic account of vagueness
Libor Běhounek
Year: 2016
presentations (congresses, symposia, conferences, workshops)
 
Formal calculi of fuzzy relations
Libor Běhounek
Year: 2016
presentations (congresses, symposia, conferences, workshops)
 
Fuzzy higher-order logic and higher-order vagueness
Libor Běhounek
Year: 2016
presentations (congresses, symposia, conferences, workshops)
 
Fuzzy solutions to classical problems
Libor Běhounek
Year: 2016
presentations (congresses, symposia, conferences, workshops)
 
Maxima and minima in fuzzified linear orderings
Libor Běhounek
Year: 2016, FUZZY SET SYST
journal article
 
Representing strategic games and their equilibria in many-valued logics
Libor Běhounek, Petr Cintula, Tomáš Kroupa, Christian Fermüller
Year: 2016, LOG J IGPL
journal article
 
Towards fuzzy partial set theory
Libor Běhounek, Martina Daňková
Year: 2016
abstract in proceedings
 
Towards predicate fuzzy partial logic
Libor Běhounek
Year: 2016
presentations (congresses, symposia, conferences, workshops)
 
Fuzzy partial logic: combining graduality and undefinedness
Libor Běhounek, Vilém Novák
Year: 2015
presentations (congresses, symposia, conferences, workshops)
 
Graded dominance and related graded properties of fuzzy connectives
Libor Běhounek, Ulrich Bodenhofer, Petr Cintula, Susanne Saminger-Platz, Peter Sarkoci
Year: 2015, FUZZY SET SYST
journal article
 
Towards Fuzzy Partial Logic
Libor Běhounek, Vilém Novák
Year: 2015
abstract in proceedings
 
Towards fuzzy partial logic of the first and higher orders
Libor Běhounek
Year: 2015
presentations (congresses, symposia, conferences, workshops)
 
A ground many-valued type theory and its extensions
Libor Běhounek
Year: 2014
presentations (congresses, symposia, conferences, workshops)
 
Church-style type theories over finitary weakly implicative logics
Libor Běhounek
Year: 2014
presentations (congresses, symposia, conferences, workshops)
 
In which sense is fuzzy logic a logic for vagueness?
Libor Běhounek
Year: 2014, CEUR Workshop Proceedings
journal article
 
Set theory and arithmetic in fuzzy logic
Libor Běhounek, Zuzana Haniková
Year: 2014, Springer
specialist book chapter
 
Technische Universitaet Wien
Libor Běhounek
Year: 2014
work experience abroad
 
Technische Universitaet Wien
Libor Běhounek
Year: 2013
work experience abroad
 
Technische Universitaet Wien
Libor Běhounek
Year: 2011
work experience abroad
 
Relational compositions in Fuzzy Class Theory
Libor Běhounek, Martina Daňková
Year: 2009, FUZZY SET SYST
journal article
 
Johannes Kepler Universitaet Linz
Libor Běhounek
Year: 2007
work experience abroad
 
Automated proofs for composition-based fuzzy relational notions
Martina Daňková, Libor Běhounek
Year: 2006
abstract in proceedings
 
Automated proofs for composition-based fuzzy relational notions
Martina Daňková, Libor Běhounek
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Manchester University
Libor Běhounek
Year: 2006
work experience abroad
 
Relation Compositions in Fuzzy Class Theory
Martina Daňková, Libor Běhounek
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Relation Compositions in Fuzzy Class Theory
Martina Daňková, Libor Běhounek
Year: 2006
abstract in proceedings
 
Johannes Kepler Universitaet Linz
Libor Běhounek
Year: 2005
work experience abroad
 

No record found.

View more records

View more records

View more records

View more records

View more records

View more records

View more records

View more records



Author
Title
Type of thesis
Year
Rašková Monika
Set-theoretic concepts in Lukasiewicz three-valued logic
Master's thesis
2016



Metamathematics of substructural modal logics
Main solver
Mgr. Libor Běhounek, Ph.D.
Period
1/2022 - 12/2024
Provider
Standardní projekt GA ČR
State
solved
 

social hub