The following pages link to Marie Duží (Q514085):
Displaying 50 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)
- (Q3504419) (← links)
- (Q3527401) (← links)
- (Q3795309) (← links)
- (Q4225083) (← links)
- (Q4549382) (← links)
- (Q4549419) (← links)
- (Q4608337) (← links)
- (Q4648942) (← links)
- (Q4903798) (← links)
- (Q4918291) (← links)
- Procedural isomorphism, analytic information and -conversion by value (Q4925174) (← links)
- (Q4925867) (← links)
- (Q5199098) (← links)
- (Q5224881) (← links)
- How to Unify Russellian and Strawsonian Definite Descriptions (Q5259658) (← links)
- (Q5354799) (← links)
- (Q5365490) (← links)
- Hyperintensional Reasoning Based on Natural Language Knowledge Base (Q5872486) (← links)
- Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers (Q5877711) (← links)
- Basic infobase change (Q5943016) (← links)
- Introduction (Q6647996) (← links)
- Transparent quantification into hyperpropositional attitudes de dicto (Q6647997) (← links)
