The following pages link to Pavel Materna (Q587578):
Displaying 50 items.
- The justification of the basic laws of logic (Q266663) (← links)
- Dynamic semantics (Q435156) (← links)
- Prior and possibly not existing (Q516421) (← links)
- First-order intensional logic (Q598308) (← links)
- The paradox of inference and the non-triviality of analytic information (Q600847) (← links)
- (Q689210) (redirect page) (← links)
- A functional partial semantics for intensional logic (Q689211) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- A truth-functional logic for near-universal generalizations (Q751649) (← links)
- The logic of ability, freedom and responsibility (Q792309) (← links)
- A deontic logic of action (Q792312) (← links)
- Logical constants across varying types (Q908900) (← links)
- Truth as an epistemic ideal (Q928710) (← links)
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic (Q967450) (← links)
- Two types of deflationism (Q1024123) (← links)
- Relational modality (Q1024817) (← links)
- Predication and extensionalization (Q1029819) (← links)
- Essays in logical semantics (Q1089332) (← links)
- Indiscernibility of identicals (Q1091378) (← links)
- Semantical antinomies in the logic of sense and denotation (Q1099154) (← links)
- Word operation definable in the typed \(\lambda\)-calculus (Q1099156) (← links)
- Substitution revisited (Q1106190) (← links)
- The compatibility of relevance and mingle (Q1106195) (← links)
- Unique normal forms for lambda calculus with surjective pairing (Q1117204) (← links)
- The set of empirical questions that can be answered by an empirical theory (Q1151884) (← links)
- Applying simple theory of types to data bases (Q1162830) (← links)
- Expressibility of propositions in \(L_\mu\)-languages (Q1211043) (← links)
- A formulation of the determinism hypothesis (Q1212921) (← links)
- Partially interpreted relations and partially interpreted quantifiers (Q1277330) (← links)
- The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment (Q1332144) (← links)
- Saying it with numerals (Q1333314) (← links)
- The logical form of determiners (Q1344852) (← links)
- An update on ``might'' (Q1371310) (← links)
- Rules of existential quantification into ``intensional contexts'' (Q1378427) (← links)
- Completeness of indexed \(\varepsilon\)-calculus (Q1411658) (← links)
- Logics of relative identity (Q1430993) (← links)
- At least not false, at most possible: between truth and assertibility of superlative quantifiers (Q1709132) (← links)
- Ontology-free modal semantics (Q1815412) (← links)
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment (Q1815416) (← links)
- Aspects of compositionality (Q1841518) (← links)
- A note on deterministic and algorithmic behavior (Q1844658) (← links)
- Description-names (Q1857360) (← links)
- A contingent Russell's paradox (Q1924332) (← links)
- A modal logic for non-deterministic discourse processing (Q1961953) (← links)
- Symbolic languages and natural structures. A mathematician's account of empiricism (Q2490377) (← links)
- Intensional semantics of vague constants. An application of Tichy's concept of semantics (Q2553357) (← links)
- On regular modal logics with axiom \(\square \top \to \square \square \top\) (Q2641290) (← links)
- A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
- Modality, quantification, and many Vlach-operators (Q2642477) (← links)
- (Q2804047) (← links)
