Original title:
Syntactic Approach to Fuzzy Modal Logic in MTL
Authors:
Chvalovský, Karel
Document type: Papers
Conference/Event: Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i., Jizerka (CZ), 2009-09-21 / 2009-09-23
Year:
2009
Language:
eng
Keywords:
automated theorem proving;
logic MTL;
modal logics;
syntactic derivations
Project no.: CEZ:AV0Z10300504 (
CEP),
GEICC/08/E018 (
CEP),
GD401/09/H007 (
CEP),
project 73109/2009
Funding provider: GA ČR, GA ČR, GA UK
Host item entry: Doktorandské dny '09, ISBN 978-80-7378-087-6
Rights: This work is protected under the Copyright Act No.
121/2000 Coll.
Institution: Institute of Computer Science AS ČR
(
web)
Original record: http://hdl.handle.net/11104/0175061
Permalink: http://www.nusl.cz/ntk/nusl-40436
The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers