Search

Your search keyword '"Bílková, Marta"' showing total 83 results

Search Constraints

Start Over You searched for: Author "Bílková, Marta" Remove constraint Author: "Bílková, Marta"
83 results on '"Bílková, Marta"'

Search Results

55. The logic of resources and capabilities

56. The logic of resources and capabilities

57. The Logic of Resources and Capabilities

58. Modal extensions of Ł_n-valued logics, coalgebraically

61. Interpolace v modálních logikách

62. Epistemic logics for sceptical agents.

65. Proof theory for positive logic with weak negation

66. Aspects of the Cut-Elimination Theorem

67. Usuzování s nekonzistentními informacemi

68. Fragmenty intuicionistické logiky, intermediárích logik a substrukturálních logik (vybrané otázky)

69. Hypothetical Judgements, Truth and Assertibility

70. Nerozhodnutelnost některých substrukturálních logik

71. Arithmetical completeness of the logic R

72. Čtyřhodnotová sémantika klasické a intuicionistické logiky

73. Dynamické epistemické logiky

74. Algebraická a kripkovská sémantika substrukturálních logik

75. Proofs in natural deduction and sequent system in substructural logic FL

76. Intuicionistická logika jako užitečný nástroj

77. Sémantika některých neobvyklých modálních logik

78. Kategorie fuzzy množin

79. Tableaux in non-classical logics

80. Relace bisimulace

81. Mutual comparison of modal logics axiomatic system

82. Explicit fixed-points in provability logic

83. Fuzzification of simple systems of deontic logic

Catalog

Books, media, physical & digital resources