( en | de | ru )

 

Disambiguation of "Bílková, Marta"

Author of the publication

copydeleteadd this publication to your clipboard
Proof systems for Moss' coalgebraic logic.

, , and . Theor. Comput. Sci., (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fares Martak

Martarizal

Hans Martan

Thomas Martau

Kenneth Martay

 

Other publications of authors with the same name

Interpretability in PRA., , and . Ann. Pure Appl. Log., 161 (2): 128-138 (2009)Epistemic Logics of Structured Intensional Groups., and . TARK, volume 379 of EPTCS, page 113-130. (2023)Belief Based on Inconsistent Information., , , and . DaLí, volume 12569 of Lecture Notes in Computer Science, page 68-86. Springer, (2020)How to reason with inconsistent probabilistic information?, , , and . CoRR, (2020)Many-Valued Relation Lifting and Moss' Coalgebraic Logic., and . CALCO, volume 8089 of Lecture Notes in Computer Science, page 66-79. Springer, (2013)On monotone modalities and adjointness., , and . Math. Struct. Comput. Sci., 21 (2): 383-416 (2011)Qualitative reasoning in a two-layered framework., , , and . Int. J. Approx. Reason., (March 2023)Theory and application of labelling techniques for interpretability logics., , , and . Math. Log. Q., 68 (3): 352-374 (2022)Distributive Substructural Logics as Coalgebraic Logics over Posets., , and . Advances in Modal Logic, page 119-142. College Publications, (2012)Epistemic logics for sceptical agents., , and . J. Log. Comput., 26 (6): 1815-1841 (2016)