Feasibility of program runs in fuzzified Propositional Dynamic Logic

Bibliographic details

Authors

Libor Běhounek

Publication year

2012

Publication type

Abstrakt

Periodical

Logic, Algebra and Truth Degrees 2012. Book of Abstracts

Projects

• Logic-based fuzzy mathematics
• Mathematical Fuzzy Logic in Computer Science
• Dynamic Formal Systems

Bibliographic citation

BĚHOUNEK, Libor. Feasibility of program runs in fuzzified Propositional Dynamic Logic. In: TERUI, K., PREINING, N., eds. Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012, S. 32-34.

ID

381412