The following pages link to Marie Duží (Q514085):
Displaying 30 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- A computationally grounded, weighted doxastic logic (Q310087) (← links)
- Transparent quantification into hyperintensional objectual attitudes (Q514087) (← links)
- The paradox of inference and the non-triviality of analytic information (Q600847) (← links)
- (Q749193) (redirect page) (← links)
- Nested relations and complex objects in databases (Q749194) (← links)
- More fragments of language. (Q867399) (← links)
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic (Q967450) (← links)
- Extending free pregroups with lower bounds (Q993496) (← links)
- A hybrid logic for reasoning about knowledge and topology (Q1006488) (← links)
- Termination proofs for logic programs (Q1188722) (← links)
- Query languages for hierarchic databases (Q1201723) (← links)
- (Q1314286) (redirect page) (← links)
- Adding a temporal dimension to a logic system (Q1314287) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- A constructive logic behind the catch and throw mechanism (Q1337695) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Infobase change: A first approximation (Q1582326) (← links)
- Iterated privation and positive predication (Q1693595) (← links)
- MFDBS 89. 2nd symposium on mathematical fundamentals of database systems, Visegrad, Hungary, June 26-30, 1989. Proceedings (Q1801228) (← links)
- On the equivalence and rewriting of aggregate queries (Q1889881) (← links)
- If structured propositions are logical procedures then how are procedures individuated? (Q2052189) (← links)
- Disjunctive logic programs, answer sets, and the cut rule (Q2085572) (← links)
- Impossible individuals as necessarily empty individual concepts (Q2086540) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- (Q3101112) (← links)
- Extensional Logic of Hyperintensions (Q3224007) (← links)
- (Q3471709) (← links)
- Procedural isomorphism, analytic information and -conversion by value (Q4925174) (← links)
- Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers (Q5877711) (← links)
