Open AccessDeductive Systems and the Decidability Problem for Hybrid Logics
Author(s) -
Michał Zawidzki
Publication year - 2014
Publication title -
wydawnictwo uniwersytetu łódzkiego ebooks
Language(s) - English
Resource type - Book series
DOI - 10.18778/7969-042-8
Subject(s) - t norm fuzzy logics , decidability , monoidal t norm logic , expressive power , mathematics , sort , accessibility relation , intersection (aeronautics) , modal logic , algebra over a field , modal , computer science , theoretical computer science , discrete mathematics , description logic , pure mathematics , arithmetic , artificial intelligence , multimodal logic , membership function , aerospace engineering , fuzzy set , fuzzy number , engineering , fuzzy logic , chemistry , polymer chemistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom