UO

Libor Běhounek


Academic degree, name, surname:Mgr. Libor Běhounek, Ph.D.
Room, floor, building: C 708, 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 1410
E-mail:
Personal website:



No record found.



Variable-domain fuzzy sets - Part II
Libor Běhounek, Martina Daňková
Year: 2020, Fuzzy Sets and Systems
journal article

Fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Year: 2018, Journal of Applied Non-Classical Logics
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 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

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
presentations (congresses, symposia, conferences, workshops)

Kripke modalities with truth-functional gaps
Libor Běhounek, Antonín Dvořák
Year: 2018
abstract in proceedings

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

Johannes Kepler Universitaet Linz
Libor Běhounek
Year: 2007
work experience abroad

Manchester University
Libor Běhounek
Year: 2006
work experience abroad

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



AuthorTitleType of thesisYear
Rašková MonikaSet-theoretic concepts in Lukasiewicz three-valued logicMaster's thesis 2016 


No record found.

rss
social hub