Pages that link to "Item:Q1261311"
From MaRDI portal
The following pages link to Partial logics reconsidered: A conservative approach (Q1261311):
Displaying 19 items.
- Conservativity for logics of justified belief: two approaches (Q408535) (← links)
- Inversive meadows and divisive meadows (Q420833) (← links)
- Classical logic with partial functions (Q438568) (← links)
- Partial functions and logics: A warning (Q673461) (← links)
- Partial functions in a total setting (Q679251) (← links)
- Monitoring of temporal first-order properties with aggregations (Q888414) (← links)
- A first order logic for partial functions (Q918965) (← links)
- The connection between two ways of reasoning about partial functions (Q963419) (← links)
- Extending a first order predicate calculus with partially defined iota terms (Q998105) (← links)
- E3: A logic for reasoning equationally in the presence of partiality (Q1806134) (← links)
- A simple sequent calculus for partial functions (Q2367544) (← links)
- Satisfiability in composition-nominative logics (Q2445092) (← links)
- Partial logics with two kinds of negation as a foundation for knowledge-based reasoning (Q2715521) (← links)
- Reasoning about partial functions in the formal development of programs (Q2863853) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- Adapting Calculational Logic to the Undefined (Q4269811) (← links)
- The lazy logic of partial terms (Q4779651) (← links)
- A first order logic for partial functions (Q5096142) (← links)
- (Q5413342) (← links)